nLab pseudoadjunction

A pseudoadjunction is a kind of weak 2-adjunction. Sometimes the word is used interchangeably with biadjunction to mean a “fully weak” notion of 2-dimensional adjunction. Other times, a “pseudoadjunction” refers to the weakest kind of 2-adjunction definable in a Gray-category, which when specialized to the prototypical Gray-category $Gray$ consists of strict 2-categories and strict 2-functors, but pseudonatural transformations.

Related concepts

• adjoint functor
• 2-adjunction
• biadjunction

References

• Jacques Penon, Sous-catégorie classifiée d’une 2-catégorie, 1974.

• Steve Lack, A coherent approach to pseudomonads, 2000.

• I. J. Le Creurer, F. Marmolejo, E. M. Vitale, Beck’s theorem for pseudo-monads, J. Pure Appl. Algebra 173 (2002), no. 3, 293–313, MR2003f:18004, doi