bn:03319804n
Noun Concept
JA
高次圏論
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
Relations
Sources
HAS PART
Wikidata