加载中…
We prove that for any test category , in the sense of Grothendieck, satisfying a compatibility condition between homology equivalences and weak equivalences of presheaves, the homotopy category of abelian presheaves on is equivalent to the non-negative derived category of abelian groups. This provides a homotopical generalization of the Dold-Kan correspondence for presheaves of abelian groups over a wide range of test categories. This equivalence of homotopy categories comes from a Quillen equivalence for a model structure on abelian presheaves that we introduce under these conditions. We then show that this result applies to Joyal’s category .

生成讲解博客的中文版本

生成AI智能校验的中文版本