Model structures on categories of models of type theories (Q4961720)
From MaRDI portal
scientific article; zbMATH DE number 6965096
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model structures on categories of models of type theories |
scientific article; zbMATH DE number 6965096 |
Statements
Model structures on categories of models of type theories (English)
0 references
25 October 2018
0 references
cubical type theory
0 references
univalence axiom
0 references
model categories
0 references
models of type theory
0 references
