Higher dimensional categories: induction on extensivity (Q2134826)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Higher dimensional categories: induction on extensivity |
scientific article |
Statements
Higher dimensional categories: induction on extensivity (English)
0 references
3 May 2022
0 references
higher dimensional category
0 references
enriched category
0 references
extensive category
0 references
Cartesian monad
0 references
0 references
