A convenient category of cubes
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910880096059392 |
|---|---|
| author | Krishnan, Sanjeevi Rudman, Emily |
| author_facet | Krishnan, Sanjeevi Rudman, Emily |
| contents | We claim that the cube category whose morphisms are the interval-preserving monotone functions between finite Boolean lattices is a convenient general-purpose site for cubical sets. This category is the largest possible concrete Eilenberg-Zilber variant excluding the reversals and diagonals. The category admits as monoidal generators all functions between the singleton and two-element ordinals and all monotone surjections from finite Boolean lattices to the two-element ordinal. Consequently, morphisms in the minimal symmetric monoidal variant of the cube category containing coconnections of one kind can be characterized as the interval-preserving semilattice homomorphisms between finite Boolean lattices. There exists a model structure on our variant of cubical sets that is at once Quillen equivalent to and left induced from the classical model structure on simplicial sets along triangulation. This model structure is proper and hence its fibrations interpret Martin-Lof dependent types. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_13663 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A convenient category of cubes Krishnan, Sanjeevi Rudman, Emily Category Theory Algebraic Topology Geometric Topology 18D70 We claim that the cube category whose morphisms are the interval-preserving monotone functions between finite Boolean lattices is a convenient general-purpose site for cubical sets. This category is the largest possible concrete Eilenberg-Zilber variant excluding the reversals and diagonals. The category admits as monoidal generators all functions between the singleton and two-element ordinals and all monotone surjections from finite Boolean lattices to the two-element ordinal. Consequently, morphisms in the minimal symmetric monoidal variant of the cube category containing coconnections of one kind can be characterized as the interval-preserving semilattice homomorphisms between finite Boolean lattices. There exists a model structure on our variant of cubical sets that is at once Quillen equivalent to and left induced from the classical model structure on simplicial sets along triangulation. This model structure is proper and hence its fibrations interpret Martin-Lof dependent types. |
| title | A convenient category of cubes |
| topic | Category Theory Algebraic Topology Geometric Topology 18D70 |
| url | https://arxiv.org/abs/2503.13663 |