Nerves and cones of free loop-free ω-categories

Andrea Gagna, Viktoriya Ozornova, Martina Rovelli

We show that the complicial nerve construction is homotopically compatible with two flavors of cone constructions when starting with an $\omega$-category that is suitably free and loop-…