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 GrayGray consists of strict 2-categories and strict 2-functors, but pseudonatural transformations.

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

Last revised on March 13, 2023 at 18:32:27. See the history of this page for a list of all contributions to it.