Simplicial sets inside cubical sets (Q5858940)
From MaRDI portal
scientific article; zbMATH DE number 7333619
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simplicial sets inside cubical sets |
scientific article; zbMATH DE number 7333619 |
Statements
15 April 2021
0 references
cubical sets
0 references
simplicial sets
0 references
universes
0 references
univalence axiom
0 references
math.CT
0 references
