nLab
infinity-cosmos

Context

Category theory

Concepts

Universal constructions

    • /

    • /

Theorems

Extensions

Applications

Higher category theory

Basic concepts

  • ,

Basic theorems

  • -theorem
  • -theorem
  • -theorem

Applications

Models

    • /
    • /
    • = (n,n)-category
      • ,
    • =
      • =
      • =
    • = (n,0)-category
      • ,
  • /

Morphisms

Functors

Universal constructions

Extra properties and structure

    • ,

1-categorical presentations

Contents

Idea

An \infty-cosmos is a “good place in which to do higher category theory,” for (infinity,1)-categories, 1-categories, (infinity,n)-categories, or fibered category 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.

Definition

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.

References

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 June 5, 2018 at 08:34:32. See the history of this page for a list of all contributions to it.