Geodesic
Simplicial sets inside cubical sets
Theory and applications of categories, Tome 37 (2021), pp. 276-286.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

As observed recently by various people the topos sSet of simplicial sets appears as an essential subtopos of a topos cSet of cubical sets, namely presheaves over the category FL of finite lattices and monotone maps between them. The latter is a variant of the cubical model of type theory due to Cohen et al. for the purpose of providing a model for a variant of type theory which validates Voevodsky's Univalence Axiom and has computational meaning.Our contribution consists in constructing in cSet a fibrant univalent universe for those types that are sheaves. This makes it possible to consider sSet as a submodel of cSet for univalent Martin-Löf type theory.Furthermore, we address the question whether the type-theoretic Cisinski model structure considered on cSet coincides with the test model structure, the latter of which models the homotopy theory of spaces. We do not provide an answer to this open problem, but instead give a reformulation in terms of the adjoint functors at hand.
Publié le :
Classification : 03B38, 03G30, 18F20, 18N45
Keywords: cubical sets, simplicial sets, universes, univalence axiom 
@article{TAC_2021_37_a9,
     author = {Thomas Streicher and Jonathan Weinberger},
     title = {Simplicial sets inside cubical sets},
     journal = {Theory and applications of categories},
     pages = {276--286},
     publisher = {mathdoc},
     volume = {37},
     year = {2021},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2021_37_a9/}
}
TY  - JOUR
AU  - Thomas Streicher
AU  - Jonathan Weinberger
TI  - Simplicial sets inside cubical sets
JO  - Theory and applications of categories
PY  - 2021
SP  - 276
EP  - 286
VL  - 37
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2021_37_a9/
LA  - en
ID  - TAC_2021_37_a9
ER  - 
%0 Journal Article
%A Thomas Streicher
%A Jonathan Weinberger
%T Simplicial sets inside cubical sets
%J Theory and applications of categories
%D 2021
%P 276-286
%V 37
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2021_37_a9/
%G en
%F TAC_2021_37_a9
Thomas Streicher; Jonathan Weinberger. Simplicial sets inside cubical sets. Theory and applications of categories, Tome 37 (2021), pp. 276-286. http://geodesic.mathdoc.fr/item/TAC_2021_37_a9/