A categorified Dold-Kan correspondence - 42Papers