Cubical Models of (∞,1)-Categories

We describe a new model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical analogue of inner horns. We discuss the proof that this model structure is Quillen equivalent to the Joyal model structure on simplicial sets via the triangulation functor, and a new theory of cones in cubical sets which is used in this proof. We also introduce the homotopy category and mapping spaces of a fibrant cubical set, and characterize weak equivalences between fibrant cubical sets in terms of these concepts. This talk is based on joint work with Chris Kapulkin, Zachery Lindsey, and Christian Sattler, arXiv:2005.04853.