Joyal model structure: Difference between revisions

Revision as of 03:45, 22 April 2025

Revision as of 07:21, 22 April 2025

Line 5:

The Joyal model structure is given by:

* Fibrations are isofibrations[[isofibration]]s.<ref name=":0">Cisinski 2019, Theorem 3.6.1.</ref>

* Cofibrations are [[monomorphism]]s.<ref name=":9">Lurie 2009, ''Higher Topos Theory'', Theorem 1.3.4.1.</ref>

* Weak equivalences are ''weak categorical equivalences'',<ref name=":11">Joyal 2008, Theorem 6.12.</ref> hence morphisms between simplicial sets, whose [[Geometric realization functor|geometric realization]] is a [[homotopy equivalence]] between [[CW complex]]es.