Cubical models of higher categories without connections

Brandon Doherty

We prove that each of the model structures for ($n$-trivial, saturated) comical sets on the category of marked cubical sets having only faces and degeneracies (without connections)…