Cofibrations in Homotopy Theory

Abstract

We define Anderson-Brown-Cisinski (ABC) cofibration categories, and construct homotopy colimits of diagrams of objects in ABC cofibration categories. Homotopy colimits for Quillen model categories are obtained as a particular case. We attach to each ABC cofibration category a left Heller derivator. A dual theory is developed for homotopy limits in ABC fibration categories and for right Heller derivators. These constructions provide a natural framework for 'doing homotopy theory' in ABC (co)fibration categories.

Ams-latex, 158 pages. Corrections to Thm. 6.4.1 and Def. 7.2.5

References in corpus (1)

• Sheafifiable homotopy model categories

Cited by in corpus (20)

• Two-Level Type Theory and Applications
• Locally constant functors
• Fibration Categories are Fibrant Relative Categories
• The constructive Kan-Quillen model structure: two new proofs
• Space-Valued Diagrams, Type-Theoretically (Extended Abstract)
• A model 2-category of enriched combinatorial premodel categories
• Homotopy (Pre-)Derivators of Cofibration Categories and Quasi-Categories
• Universal property of triangulated derivators via Keller's towers
• Quasicategories of Frames of Cofibration Categories
• Exact completion of path categories and algebraic set theory -- Part I: Exact completion of path categories
• Homotopical inverse diagrams in categories with attributes
• Priles of one-sided triangulated categories and exact model categories
• Transfer of algebras over operads along derived Quillen adjunctions
• Model categories structures from rigid objects in exact categories
• Quillen's adjunction theorem for derived functors, revisited
• Equivalences between localisations of categories provided by replacements
• Enriched cofibration categories
• The left (right) triangulated structures of the stable categories
• The bivariant parasimplicial ${\mathsf{S}}_{\bullet }$-construction
• Higher symmetries in abstract stable homotopy theories