====== 2025-03-20 ======

===== Dold-Kan =====
Dyckerhoff introduced categorified Dold-Kan correspondence. 

Before categorification, given a simplicial abelian group, we can make it into a chain complex by taking 'totalization'. Given a chain complex (in positive degree, differential decreases degree by 1)