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.
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 September 11, 2017 at 07:08:47. See the history of this page for a list of all contributions to it.