HOMOTOPY LIMITS AND COLIMITS AND ENRICHED HOMOTOPY THEORY

By Michael Shulman. 2006

92 citations recorded by the source corpus.

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached ei- ther using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal in this paper is expository: we explain both ap- proaches 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 "en- riched 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 com- plicates matters, and goes some way toward achieving a better understanding of "the role of homotopy in homotopy theory."

Subfields: Geometry and Topology, Mathematical Physics, Molecular Biology

View Paper: https://www.semanticscholar.org/paper/8b1a82b815fbeb536e5dbb50cc6c4a6fdfd11f03