Category:Higher category theory
Jump to navigation
Jump to search
generalization of category theory for higher-order morphisms | |||||
| Upload media | |||||
| Instance of | |||||
|---|---|---|---|---|---|
| Has part(s) | |||||
| |||||
 | |||||
Subcategories
This category has the following 4 subcategories, out of 4 total.
B
- John C. Baez (1 F)
S
- Seifert–Van Kampen theorem (3 F)
- Strict 2-category (4 F)
- String diagram (5 F)