Explore relationships
N-category
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.
Use + to expand a branch. Click a topic name to open its summary.