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
The analog in 2-category theory of the notion of reflective subcategory in category theory.
A full and faithful 2-functor C↪D is said to exhibit C as a reflective sub-2-category of D if it has a left adjoint 2-functor.