Joyal model structure


In higher category theory in mathematics, the Joyal model structure is a special model structure on the category of simplicial sets. It consists of three classes of morphisms between simplicial sets called fibrations, cofibrations and weak equivalences, which fulfill the properties of a model structure. Its fibrant objects are all ∞-categories and it furthermore models the homotopy theory of CW complexes up to homotopy equivalence, with the correspondence between simplicial sets and CW complexes being given by the geometric realization and the singular functor. The Joyal model structure is named after André Joyal.

Definition

The Joyal model structure is given by:
  • Fibrations are isofibrations.
  • Cofibrations are monomorphisms.
  • Weak equivalences are weak categorical equivalences, hence morphisms between simplicial sets, whose geometric realization is a homotopy equivalence between CW complexes.
  • Trivial cofibrations are inner anodyne extensions.
The category of simplicial sets with the Joyal model structure is denoted .

Properties

  • Fiberant objects of the Joyal model structure, hence simplicial sets, for which the terminal morphism is a fibration, are the ∞-categories.
  • Cofiberant objects of the Joyal model structure, hence simplicial sets, for which the initial morphism is a cofibration, are all simplicial sets.
  • The Joyal model structure is left proper, which follows directly from all objects being cofibrant. This means that weak categorical equivalences are preversed by pushout along its cofibrations. The Joyal model structure is not right proper. For example the inclusion is a weak categorical equivalence, but its pullback along the isofibration, which is, is not due for example the different number of connected components. This counterexample doesn't work for the Kan–Quillen model structure since is not a Kan fibration. But the pullback of weak categorical equivalences along left or right Kan fibrations is again a weak categorical equivalence.
  • The Joyal model structure is a Cisinski model structure and in particular cofibrantly generated. Cofibrations are generated by the boundary inclusions and acyclic cofibrations are generated by inner horn inclusions .
  • Weak categorical equivalences are final.
  • Inner anodyne extensions are weak categorical equivalences.
  • Weak categorical equivalences are closed under finite products and small filtered colimits.
  • Since the Kan–Quillen model structure also has monomorphisms as cofibrations and every weak homotopy equivalence is a weak categorical equivalence, the identity preserves both cofibrations and acyclic cofibrations, hence as a left adjoint with the identity as right adjoint forms a Quillen adjunction.

    Local weak categorical equivalence

For a simplicial set and a morphism of simplicial sets over , the following conditions are equivalent:
  • For every -simplex, the induced map is a weak categorical equivalence.
  • For every morphism, the induced map is a weak categorical equivalence.
Such a morphism is called a local weak categorical equivalence.
  • Every local weak categorical equivalence is a weak categorical equivalence.

    Literature

*