Brandon Doherty

Cubical sets with connections model (∞,1)-categories via the cubical Joyal model structure, constructed and shown to be equivalent to the Joyal model structure on simplicial sets by Doherty-Kapulkin-Lindsey-Sattler. In the same work, an analogous...