Skip to main content
MathOverflow

Return to Answer

Added reference.
Source Link
Artur Jackson
Artur Jackson
  • 639
  • 4
  • 10

Here is an example.

Consider the truncated category $\Delta_{\le n}$$\Delta_{\le n+1}$. Then presheaves on this with the model structure presents $n$-types.

EDIT: Andrea points out that the relevant Quillen equivalences+proofs can be found in Corollary 9.2.7 of Cisinski's book Les préfaisceaux comme modèles des types d'homotopie.

Here is an example.

Consider the truncated category $\Delta_{\le n}$. Then presheaves on this with the model structure presents $n$-types.

Here is an example.

Consider the truncated category $\Delta_{\le n+1}$. Then presheaves on this with the model structure presents $n$-types.

EDIT: Andrea points out that the relevant Quillen equivalences+proofs can be found in Corollary 9.2.7 of Cisinski's book Les préfaisceaux comme modèles des types d'homotopie.

Source Link
Artur Jackson
Artur Jackson
  • 639
  • 4
  • 10

Here is an example.

Consider the truncated category $\Delta_{\le n}$. Then presheaves on this with the model structure presents $n$-types.