We prove that the marked triangulation functor from the category of marked cubical sets
equipped with a model structure for (n-trivial, saturated) comical sets to the category of …

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 …

As observed recently by various people the topos $\mathbf {sSet} $ of simplicial sets
appears as essential subtopos of a topos $\mathbf {cSet} $ of cubical sets, namely …

We prove that each of the model structures for (n-trivial, saturated) comical sets on the
category of marked cubical sets having only faces and degeneracies (without connections) …

We study properties of the cubical Joyal model structures on cubical sets by means of a
combinatorial construction which allows for convenient comparisons between categories of …

Streicher, Thomas ; Weinberger, Jonathan Simplicial sets inside cubical sets. (English) £ ¢ ¡
Zbl 07333619 Theory Appl. Cate Page 1 Streicher, Thomas; Weinberger, Jonathan …