UHHH I COULDVE STOOD TO HEAR THIS EARLIER
Conversation
What I want for Christmas is... a conceptual proof of the Dold-Kan equivalence (and of its lax/oplax monoidal structures).
2
4
are you familiar with the proof that proceeds by just calculating explicitly the cauchy completion of the free Ab-enriched category on the simplex category? (cauchy completion meaning adjoin finite biproducts, then split idempotents)
(i am not familiar with it)
Where is this proof written? I would like to become familiar...
1
1
i don't know where i saw this (there has to be a proof like this by general facts about morita equivalence) but it looks like this paper by lack and street does something like it:
2
2
Show replies