I know Dold-Kan actually holds for any abelian category, i.e gives an equivalence between simplicial objects in a fixed abelian category and the connective chain complexes over it.

I've never seen an actual proof of this fact though, so I was wondering whether in the case of a general symmetric monoidal abelian category, the Alexander-Whitney and shuffle maps still exist and give a homotopy equivalence between the transferred pointwise tensor product of complexes and the usual one making the category of chain complexes of say abelian groups symmetric monoidal closed.

Are the details written anywhere?


1 Answer 1


§1.2.3 in Lurie's Higher Algebra establishes the Dold—Kan correspondence for idempotent complete additive categories and constructs the Alexander—Whitney maps in this generality.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.