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. ^[1]
• Cofibrations are monomorphisms. ^[2]
• Weak equivalences are weak categorical equivalences, ^[3] 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 ${\displaystyle \mathbf {sSet} }$ with the Joyal model structure is denoted ${\displaystyle \mathbf {sSet} _{\mathrm {J} }}$ (or ${\displaystyle \mathbf {sSet} _{\mathrm {Joy} }}$ for more joy).

Properties

• Fiberant objects of the Joyal model structure, hence simplicial sets ${\displaystyle X}$, for which the terminal morphism ${\displaystyle X\xrightarrow {!} \Delta ^{0}}$ is a fibration, are the ∞-categories. ^{[3] [4] [1]}
• Cofiberant objects of the Joyal model structure, hence simplicial sets ${\displaystyle X}$, for which the initial morphism ${\displaystyle \emptyset \xrightarrow {!} X}$ is a cofibration, are all simplicial sets.
• The Joyal model structure is left proper, which follows directly from all objects being cofibrant. ^[5] This means that weak categorical equivalences are preversed by pushout along its cofibrations (the monomorphisms). The Joyal model structure is not right proper. For example the inclusion ${\displaystyle \Lambda _{1}^{2}\hookrightarrow \Delta ^{2}}$ is a weak categorical equivalence, but its pullback along the isofibration ${\displaystyle \Delta ^{1}\cong \{0\rightarrow 2\}\hookrightarrow \Delta ^{2}}$, which is ${\displaystyle (0,1)\colon \Delta ^{0}+\Delta ^{0}\hookrightarrow \Delta ^{1}}$, is not due for example the different number of connected components. ^[6] This counterexample doesn't work for the Kan–Quillen model structure since ${\displaystyle \Delta ^{1}\cong \{0\rightarrow 2\}\hookrightarrow \Delta ^{2}}$ is not a Kan fibration. But the pullback of weak categorical equivalences along left or right Kan fibrations is again a weak categorical equivalence. ^[7]
• The Joyal model structure is a Cisinski model structure and in particular cofibrantly generated. Cofibrations (monomorphisms) are generated by the boundary inclusions ${\displaystyle \partial \Delta ^{n}\hookrightarrow \Delta ^{n}}$ and acyclic cofibrations (inner anodyne extensions) are generated by inner horn inclusions ${\displaystyle \Lambda _{k}^{n}\hookrightarrow \Delta ^{n}}$ (with ${\displaystyle n\geq 2}$ and ${\displaystyle 0<k<n}$).
• Weak categorical equivalences are final. ^[8]
• Inner anodyne extensions are weak categorical equivalences. ^{[9] [10]}
• Weak categorical equivalences are closed under finite products ^{[11] [12] [13]} and small filtered colimits. ^{[14] [15]}
• Since the Kan–Quillen model structure also has monomorphisms as cofibrations ^[16] and every weak homotopy equivalence is a weak categorical equivalence, ^[17] the identity ${\displaystyle \operatorname {Id} \colon \mathbf {sSet} _{\mathrm {KQ} }\rightarrow \mathbf {sSet} _{\mathrm {J} }}$ preserves both cofibrations and acyclic cofibrations, hence as a left adjoint with the identity ${\displaystyle \operatorname {Id} \colon \mathbf {sSet} _{\mathrm {J} }\rightarrow \mathbf {sSet} _{\mathrm {KQ} }}$ as right adjoint forms a Quillen adjunction.

Local weak categorical equivalence

For a simplicial set ${\displaystyle B}$ and a morphism of simplicial sets ${\displaystyle f\colon X\rightarrow Y}$ over ${\displaystyle B}$ (so that there are morphisms ${\displaystyle p\colon X\rightarrow B}$ and ${\displaystyle q\colon Y\rightarrow B}$ with ${\displaystyle p=q\circ f}$), the following conditions are equivalent: ^[18]

• For every ${\displaystyle n}$-simplex ${\displaystyle \sigma \colon \Delta ^{n}\rightarrow B}$, the induced map ${\displaystyle \Delta ^{n}\times _{B}\sigma \colon \Delta ^{n}\times _{B}X\rightarrow \Delta ^{n}\times _{B}Y}$ is a weak categorical equivalence.
• For every morphism ${\displaystyle g\colon A\rightarrow B}$, the induced map ${\displaystyle A\times _{B}g\colon A\times _{B}X\rightarrow A\times _{B}Y}$ 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. ^[18]

Literature

• Joyal, André (2008). "The Theory of Quasi-Categories and its Applications" (PDF).
• Lurie, Jacob (2009). Higher Topos Theory. Annals of Mathematics Studies. Vol. 170. Princeton University Press. arXiv: math.CT/0608040 . ISBN   978-0-691-14049-0. MR   2522659.
• Cisinski, Denis-Charles (2019-06-30). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN   978-1108473200.

References

1. Cisinski 2019, Theorem 3.6.1.
2. Lurie 2009, Higher Topos Theory, Theorem 1.3.4.1.
3. Joyal 2008, Theorem 6.12.
4. Lurie 2009, Higher Topos Theory, p. 58 & Theorem 2.3.6.4.
5. Lurie 2009, Higher Topos Theory, Proposition A.2.3.2.
6. Lurie 2009, Higher Topos Theory, Remark 1.3.4.3.
7. Joyal 2008, Remark 6.13.
8. Cisinski 2019, Proposition 5.3.1.
9. Joyal 2008, Corollary 2.29. on p. 239
10. Lurie 2009, Higher Topos Theory, Lemma 1.3.4.2.
11. Joyal 2008, Proposition 2.28. on p. 239
12. Lurie 2009, Higher Topos Theory, Corollary 1.3.4.4.
13. Cisinski 2019, Corollary 3.6.3.
14. Joyal 2008, Corollary 6.10. on p. 299
15. Cisinski 2019, Corollary 3.9.8.
16. Cisinski 2019, Theorem 3.1.8.
17. Joyal 2008, Corollary 6.16. on p. 301
18. Cisinski 2019, Lemma 5.3.9.

External links

• model structure on simplicial sets at the nLab
• The Homotopy Theory of ∞-Categories at Kerodon