N-category

From Wikipedia, the free encyclopedia

In mathematics, n-categories are a high-order generalization of the notion of category. The category of (small) n-categories n-Cat is defined by induction on n by:

• the category 0-Cat is the category Set of sets and functions,
• the category (n+1)-Cat is the category of categories enriched over the category n-Cat (with the monoidal structure induced by the composition).

In particular, the category 1-Cat is the category Cat of small categories and functors.

[edit] See also

• 2-category
• Weak n-category

[edit] References

• Tom Leinster (2004). Higher Operads, Higher Categories. Cambridge University Press.
• Eugenia Cheng, Aaron Lauda (2004). Higher-Dimensional Categories: an illustrated guide book.