nLab
2Cat

Idea

2Cat is the 3-category of 2-categories.

It has

• objects are 2-categories;

• 1-morphisms are 2-functors;

• 2-morphisms are pseudo/lax natural transformations;

• 3-morphisms are modifications.

Related concepts

• Cat, Operad

• $2Cat$

• (∞,1)Cat, (∞,1)Operad

• (∞,2)Cat?

• (∞,n)Cat

category: category