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.


  • Steve Lack, A coherent approach to pseudomonads

  • 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 July 26, 2021 at 08:50:38. See the history of this page for a list of all contributions to it.