Monoidal weak <i>ω</i>-categories as models of a type theory (Q6149952)
From MaRDI portal
scientific article; zbMATH DE number 7813367
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Monoidal weak <i>ω</i>-categories as models of a type theory |
scientific article; zbMATH DE number 7813367 |
Statements
Monoidal weak <i>ω</i>-categories as models of a type theory (English)
0 references
5 March 2024
0 references
higher categories
0 references
monoidal \(\omega\)-categories
0 references
dependent type theory
0 references
delooping
0 references
0 references
