2-category theory
2-category
strict 2-category
bicategory
enriched bicategory
2-functor
pseudofunctor
lax functor
equivalence of 2-categories
2-natural transformation
lax natural transformation
icon
modification
Yoneda lemma for bicategories
fully faithful morphism
faithful morphism
conservative morphism
pseudomonic morphism
discrete morphism
eso morphism
adjunction
mate
monad
cartesian object
fibration in a 2-category
codiscrete cofibration
2-limit
2-pullback
comma object
inserter
inverter
equifier
2-monad
lax-idempotent 2-monad
pseudomonad
pseudoalgebra for a 2-monad
monoidal 2-category
Gray tensor product
proarrow equipment
Edit this sidebar
higher category theory
(n+1,r+1)(n+1,r+1)-categories of (n,r)-categories
Pos
Set
Grpd, ∞Grpd
Cat
elementary theory of the 2-category of categories (ETCC)
PrCat
MonCat
VCat
Operad
2Cat
(∞,1)Cat
Pr(∞,1)Cat
(∞,1)Operad
(∞,n)Cat
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.
Cat, Operad
2Cat2Cat
(∞,1)Cat, (∞,1)Operad
(∞,2)Cat?
Last revised on February 25, 2013 at 15:34:41. See the history of this page for a list of all contributions to it.