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)