Cubes are dense in $(\infty ,\infty )$-categories

Tim Campion

We show that the strict 1-category $\square$ of cubes -- defined to be the full subcategory of strict $\omega$-categories whose objects are the Gray tensor powers of the arrow category…