higher category theory (Q1373)
Jump to navigation
Jump to search
generalization of category theory for higher-order morphisms
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | higher category theory |
generalization of category theory for higher-order morphisms |