higher category theory (Q1373): Difference between revisions
Jump to navigation
Jump to search
Created claim: instance of (P2): area of mathematics (Q475) |
Created claim: has part(s) (P8): category theory (Q1372) |
||
Property / has part(s) | |||
Property / has part(s): category theory / rank | |||
Normal rank |
Latest revision as of 08:12, 30 January 2023
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 |