Strict n-categories and augmented directed complexes model homotopy types

Andrea Gagna

In this paper we show that both the homotopy category of strict $n$-categories, $1⩽n⩽\infty$, and the homotopy category of Steiner's augmented directed complexes…