Topic summary
N-category
Extracted from the Wikipedia article Higher category theory.
Strict higher categories
An ordinary category has objects and morphisms, which are called 1-morphisms in the context of higher category theory. 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.