Weak omega-categories from intensional type theory (Q2786141)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weak omega-categories from intensional type theory |
scientific article |
Statements
Weak omega-categories from intensional type theory (English)
0 references
21 September 2010
0 references
intensional type theory
0 references
dependent type theory
0 references
identity types
0 references
higher categories
0 references
\(n\)-categories
0 references
omega-categories
0 references
infinity-categories
0 references
operads
0 references
univalent foundations
0 references
intuitionistic type theory
0 references
