bn:03319804n
Noun Concept
Categories: Foundations of mathematics, Higher category theory, Articles with short description
EN
higher category theory  3-category  4-category  higher-dimensional category theory  higher categories
EN
In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Wikipedia
Definitions
Relations
Sources
EN
In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Wikipedia
Generalization of category theory for higher-order morphisms Wikidata