An ordinary category has objects and morphisms. A 2-category generalizes this by also including 2-morphisms between the 1-morphisms. Continuing this up to n-morphisms between (n-1)-morphisms gives an n-category.


This page uses content from Wikipedia. The original article was at Higher category theory.
The list of authors can be seen in the page history. As with the Math Wiki, the text of Wikipedia is available under the Creative Commons Licence.
Community content is available under CC-BY-SA unless otherwise noted.