A categorified Dold-Kan correspondence

In this work, we establish a categorification of the classical Dold-Kan correspondence in the form of an equivalence between suitably defined $\mathrm{\infty }$-categories of simplicial stable $\mathrm{\infty }$-categories and connective chain complexes of stable $\mathrm{\infty }$-categories. The result may be regarded as a contribution to the foundations of an emerging subject that could be termed categorified homological algebra.