Two Models for the Homotopy Theory of Cocomplete Homotopy Theories

Abstract

We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration categories and constructing an explicit equivalence between them.

Cited by in corpus (11)

• The homotopy theory of type theories
• Space-Valued Diagrams, Type-Theoretically (Extended Abstract)
• Homotopy (Pre-)Derivators of Cofibration Categories and Quasi-Categories
• Locally Cartesian Closed Quasicategories from Type Theory
• Fibred Fibration Categories
• Exact completion of path categories and algebraic set theory -- Part I: Exact completion of path categories
• (Lack of) Model Structures on the Category of Graphs
• Homotopical inverse diagrams in categories with attributes
• Constructive homotopy theory of marked semisimplicial sets
• On the Relation between K- and L-Theory of $C^{\ast }$-Algebras
• On the construction of limits and colimits in $\infty$-categories