N-category

Encyclopedia : N : NC : NCA : N-category

---

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.

See also

• 2-category

References

 

---

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.

Search Titles

0

1

2

3

4

5

6

7

8

9

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

?