Homotopy limits and colimits and enriched homotopy theory

Abstract

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal in this paper is expository: we explain both approaches and a proof of their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense. This result partially bridges the gap between classical homotopy theory and modern abstract homotopy theory. To do this we introduce a notion of "enriched homotopical categories", which are more general than enriched model categories, but are still a good place to do enriched homotopy theory. This demonstrates that the presence of enrichment often simplifies rather than complicates matters, and goes some way toward achieving a better understanding of "the role of homotopy in homotopy theory."

79 pages; minor errors corrected

References in corpus (6)

• Algebras and modules in monoidal model categories
• Equivalences of monoidal model categories
• Sheafifiable homotopy model categories
• Simplicial structures on model categories and functors
• Comparing composites of left and right derived functors
• Modules in Monoidal Model Categories

Cited by in corpus (26)

• Higher Segal spaces I
• A necessary and sufficient condition for induced model structures
• Coend calculus
• Derived Galois deformation rings
• Fixed point theory and trace for bicategories
• From manifolds to invariants of E_n-algebras
• The linearity of traces in monoidal categories and bicategories
• String topology and the based loop space
• All $(\infty ,1)$-toposes have strict univalent universes
• Enriched model categories and presheaf categories
• Magnitude meets persistence. Homology theories for filtered simplicial sets
• Parametrized spaces model locally constant homotopy sheaves
• The Hochschild Complex of a Finite Tensor Category
• Arnold Conjecture and Morava K-theory
• Delta-discrete $G$-spectra and iterated homotopy fixed points
• Multivariable adjunctions and mates
• Representation homology of topological spaces
• Iterated traces in 2-categories and Lefschetz theorems
• $K$-theory of endomorphisms, the $TR$-trace, and zeta functions
• Homotopy locally presentable enriched categories
• Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory
• K-theoretic invariants of Hamiltonian fibrations
• Generalized String Topology and Derived Koszul Duality
• A higher Grothendieck construction
• Simplicial Monoid Actions and The Associated Universal Simplicial Monoid Construction
• Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions