nLab
2-adjunction

Idea

A 2-adjunction is a common name for various kinds of adjunctions in 2-category theory; not only adjunctions among 2-categories but adjunctions within an arbitrary 3-category (typically defined within a Gray-category). This involves strict 2-adjunctions in strict 2-categories, then pseudoadjunctions, biadjunctions, lax 2-adjunctions, colax 2-adjunctions.

Examples

An pair of adjoint 2-functors is a 2-adjunction in 2Cat.

Related concepts

• adjoint functor, adjoint triple, adjoint quadruple

• proadjoint, Hopf adjunction

• 2-adjunction

  biadjunction, lax 2-adjunction, pseudoadjunction

• adjoint (infinity,1)-functor

• (∞,n)-category with adjoints