An \infty-cosmos is a “good place in which to do higher category theory,” for (,1)(\infty,1)-categories, 1-categories, (,n)(\infty,n)-categories, or fibered versions of any of the above.

The word is chosen by analogy with cosmos which can be regarded as “a good place to do (ordinary) category theory.” The notion is more similar to Street’s “fibrational cosmoi” than to Bénabou’s cosmoi.

A source of examples

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)Fun(A,B) are quasi-categories equipped with a specified class of isofibrations so that

  1. 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.

  2. The class of isofibrations is closed under product, pullback, retract, limits of towers, and Leibniz cotensors with monomorphisms of simplicial sets. Furthermore, if ABA \twoheadrightarrow B is a fibration in 𝒦\mathcal{K}, then for any XX, Fun(X,A)Fun(X,B)\Fun(X,A) \twoheadrightarrow \Fun(X,B) is an isofibration of quasi-categories.

A map ABA \to B is an equivalence if for any XX, Fun(X,A)Fun(X,B)\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.

  1. For any trivial fibration p:EBp\colon E \twoheadrightarrow B and any map f:ABf \colon A \to B there exists a lift of ff along pp.

The prototypical example

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 “l objects cofibrant’‘

Created on May 23, 2017 01:30:13 by Emily Riehl (