Cubical models of $(\infty ,1)$-categories

Brandon Doherty, Chris Kapulkin, Zachery Lindsey +1

We construct a 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…