An $\infty$-cosmos is a “good place in which to do higher category theory,” for 1-categories, (∞,1)-categories , (∞,n)-categories, or fibered category-versions of any of the above.
The word is chosen by analogy with the notion of cosmos in enriched category theory, which is similarly “a good place to do (ordinary) category theory.” The notion is more similar to Street’s “fibrational cosmoi” than to Bénabou’s cosmoi.
Roughly speaking, an $\infty$-cosmos is a simplicially enriched category of fibrations and fibrant objects.
Let $\mathcal{M}$ be a model category that is enriched over the Joyal model structure on simplicial sets. Then the full subcategory of fibrant objects defines an $\infty$-cosmos. If, as is frequently the case in practice, every fibrant object is cofibrant, then this subcategory defines an $\infty$-cosmos with all objects cofibrant, which admits a simpler axiomatization.
For simplicity, we define only an $\infty$-cosmos with all objects cofibrant. See the references below for the general definition.
An $\infty$-cosmos (with all objects cofibrant) is a simplicially enriched category $\mathcal{K}$ whose homs $Fun(A,B)$ are quasi-categories equipped with a specified class of isofibrations so that
As a simplicially enriched category, $\mathcal{K}$ admits products, cotensors with simplicial sets, pullbacks of isofibrations, splittings of idempotents, and limits of towers of isofibrations.
The class of isofibrations is closed under product, pullback, retract, limits of towers, and Leibniz cotensors with monomorphisms of simplicial sets. Furthermore, if $A \twoheadrightarrow B$ is a fibration in $\mathcal{K}$, then for any $X$, $\Fun(X,A) \twoheadrightarrow \Fun(X,B)$ is an isofibration of quasi-categories.
A map $A \to B$ is an equivalence if for any $X$, $\Fun(X,A) \rightarrow \Fun(X,B)$ is an equivalence of quasi-categories, and a trivial fibration if it is both an isofibration and an equivalence.
The category of quasi-categories and isofibrations, inner fibrations that lift also against the inclusion of either endpoint into the nerve of the walking isomorphism, defines an $\infty$-cosmos.
For an overview:
For the most general notion of $\infty$-cosmos and constructions of many examples:
For a simplified notion with “all objects cofibrant”
A book in progress, regularly being updated
Last revised on July 14, 2020 at 10:58:23. See the history of this page for a list of all contributions to it.