A co-reflection of cubical sets into simplicial sets with applications to model structures (Q2329069)

The authors show that the category of simplicial sets is a coreflective subcategory of the category of cubical sets with connections. This is used for finding a combinatorial model category structure on the latter category, which yields a model of the homotopy theory of \((\infty,1)\)-categories in cubical sets.