Hom weak ω-categories of a weak ω-category (Q5058363)
From MaRDI portal
scientific article; zbMATH DE number 7634873
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hom weak ω-categories of a weak ω-category |
scientific article; zbMATH DE number 7634873 |
Statements
Hom weak ω-categories of a weak ω-category (English)
0 references
20 December 2022
0 references
weak \(\omega\)-category
0 references
weak \(\omega\)-groupoid
0 references
weak \(\omega\)-functor
0 references
operad
0 references
intensional Martin-Löf type theory
0 references
identity type
0 references
0 references
