Cubical models of (\infty, 1)-categories
From MaRDI portal
Publication:6340423
arXiv2005.04853MaRDI QIDQ6340423FDOQ6340423
Authors: Brandon Doherty, Krzysztof Kapulkin, Zachery Lindsey, Christian Sattler 
Publication date: 10 May 2020
Abstract: 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 property with respect to inner open boxes, the cubical analogue of inner horns. We show that this model structure is Quillen equivalent to the Joyal model structure on simplicial sets via the triangulation functor. As an application, we show that cubical quasicategories admit a convenient notion of a mapping space, which we use to characterize the weak equivalences between fibrant objects in our model structure as DK-equivalences.
Homotopical algebra, Quillen model categories, derivators (18N40) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)
This page was built for publication: Cubical models of $(\infty, 1)$-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6340423)
