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

Revised on September 11, 2017 07:08:47 by Mike Shulman (