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

Chris Kapulkin, Zachery Lindsey, Liang Ze Wong

We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straighte…