nLab lax 2-adjunction




A lax 2-adjunction is an adjunction ‘up to adjointness’. A 1-categorical adjunction is given by a natural isomorphism of hom-sets

ϕ A,B:D(FA,B)C(A,GB).\phi_{A,B} : D(F A,B) \cong C(A,G B).

A strict 2-adjunction is analogous, where C,DC,D are instead strict 2-categories, F,GF,G are strict 2-functors, and ϕ\phi is a strictly 2-natural isomorphism of hom-categories, while a biadjunction or pseudoadjunction allows all of these to be “weak up to isomorphism”.

A lax 2-adjunction is instead given by a (suitably natural) pair of families of functors

ϕ^ A,B:D(FA,B)C(A,GB):ϕˇ A,B\hat\phi_{A,B} : D(F A,B) \overset{\to}{\leftarrow} C(A,G B) : \check\phi_{A,B}

such that for each A,BA, B we have an adjunction ϕ^ A,Bϕˇ A,B\hat\phi_{A,B} \dashv \check\phi_{A,B}. Independently of this laxness aspect, we can make a choice of weakness or strictness for the categories, functors, and natural transformations involved; thus one might speak of “lax biadjunctions”, “lax pseudoadjunctions”, and so on.

It is not entirely clear that the term “lax 2-adjunction” is appropriate; in particular it is not an instance of the general notion of lax algebras, unlike nearly all other usages of the word “lax”. Other terms that have been used for the same or similar notions are “transcendental quasi-adjunction” (Gray) and “local adjunction” (Betti-Power).


Just as the notion of adjunction makes sense not just in CatCat but in any 2-category, lax 2-adjunctions can be defined in any (possibly weak) 3-category when the above is suitably reformulated by using the 2-categorical Yoneda lemma. So, given 0-cells C,DC,D and 1-cells F:CDF:C\to D, G:DCG:D\to C in any 3-category, we say FF is lax left adjoint to GG if we have

  • 2-cells η:CGF\eta:C\Rightarrow G F and ϵ:FGD\epsilon:F G \Rightarrow D, and

  • instead of strict triangle equalities, 3-cells (called triangulators) s,ts,t

    Triangulators for a lax 2-adjunction

    satisfying the swallowtail identities:

    Swallowtail identity for eta


    Swallowtail identity for epsilon

    (where if the 3-category is weak then coherences might need to be inserted to make these make sense.

When interpreted in a strict 3-category 2Cat2Cat, the Gray-category GrayGray, or the tricategory BicatBicat, this yields three levels of weakness of “lax 2-adjunction” according to whether the categories, functors, and/or transformations are strict or pseudo.

Further generalizations

The following remarks are incomplete.

One can additionally generalize to allow η\eta and ϵ\epsilon to be lax natural transformations. Gray’s original notion of “transcendental quasi-adjunction” did this, with the 2-categories and 2-functors being strict. Lax transformations do not live in any 3-category as usually understood, but Gray’s particular case can be done in the “lax Gray-category” Gray Gray_\ell.

Note also that there is no Yoneda lemma for lax transformations (though there is for pseudo ones). So in order for ϕ^\hat\phi to be determined by η\eta, ϕ^\hat\phi must be pseudo natural in BB, and likewise for ϕˇ\check\phi to be determined by ϵ\epsilon, it must be pseudo natural in AA. My guess is that laxity in the remaining variable will correspond to laxity of η\eta and ϵ\epsilon, and s,ts,t will come from the adjunction ϕˇϕ^\check\phi\dashv\hat\phi. Another option is to require η\eta and ϵ\epsilon to be pseudo natural on wide subcategories that include their components; see lax F-adjunction for an abstract context for such a definition.

One might additionally consider allowing the functors to be lax, as in (Betti-Power) (Seely). But lax functors are even harder to incorporate in a 3-category-like structure than lax transformations, since one can’t even whisker any sort of transformation by a lax functor. Seely also seems to say that ϕ^\hat\phi and ϕˇ\check\phi are both strict in their first coordinate, rather than one in the first and one in the second as seems (to me) to be necessary for a Yoneda restatement.


  • Renato Betti and John Power, On Local Adjointness of Distributive Bicategories
  • Seely, Modelling computations: a 2-categorical framework, pdf

Last revised on October 30, 2023 at 07:27:16. See the history of this page for a list of all contributions to it.