higher category theory

/HH AY1 ER0 K AE0 T AH0 G AO0 R IY0 TH IH0 R IY0/
N
  1. 1

    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.

Translate “higher category theory” into another language