Higher category theory

From Wikipedia, the free encyclopedia

You have new messages (last change).

The 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.

[edit] Higher categories

Main article: n-category

[edit] Higher weak categories

Main articles: bicategory, tricategory

[edit] References

This category theory-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../h/i/g/Higher_category_theory.html"