nLab lax F-adjunction

Lax \mathcal{F}-adjunctions


The notion of adjunction or 2-adjunction can be “laxified” in many ways; as discussed at lax 2-adjunction, one can make the triangle identities hold only up to a noninvertible cell, make the unit and counit only lax natural, and even consider making the functors only lax. Of these, lax naturality of the unit and counit is problematic because lax natural transformations do not satisfy a Yoneda lemma. However, this becomes less of a problem if the lax transformations restrict to pseudo ones on certain well-behaved subcategories. An abstract context to define this is that of F-categories.


Let K,LK,L be F-categories (strict for simplicity). A lax \mathcal{F}-adjunction between them consists of:

  • \mathcal{F}-functors F:KLF:K\to L and G:LKG:L\to K (strict for simplicity).
  • pseudo/lax F-natural transformationsη:Id KGF\eta : Id_K \to G F and ϵ:FGId L\epsilon : F G \to Id_L.
  • The triangle identities for η,ϵ\eta,\epsilon hold up to isomorphism (which can be made coherent).

If ϵ\epsilon is fully pseudo, we call it a right semi-lax \mathcal{F}-adjunction. Dually, we have left semi-lax, right semi-oplax, left semi-oplax, and so on. (We could also consider allowing the triangle identities or functors to be lax, but we will not.)


The following theorem seems to fail for 2-adjunctions involving lax transformations; the fact that it holds for lax \mathcal{F}-adjunctions thus means that they are significantly better-behaved and more interesting. It was first observed (without the terminology of \mathcal{F}-categories) by Johnstone.


If F:KLF:K\to L is an \mathcal{F}-functor and G,GG,G' are two lax right \mathcal{F}-adjoints for it, then GGG\simeq G'.


As usual, we consider the composites

GηGGFGGϵGGηGGFGGϵG. G \xrightarrow{\eta' G} G' F G \xrightarrow{G' \epsilon} G' \qquad G' \xrightarrow{\eta G'} G F G' \xrightarrow{G \epsilon'} G.

The usual proof of uniqueness of adjoints applies to show that these are pseudo-inverses, but we do need the fact that these unit and counit are pseudo/lax rather than merely lax. For the proof requires using naturality squares to commute units and counits past each other, and since their components are tight and they are all pseudo-natural on tight morphisms these naturality squares commute up to isomorphism; if they only commuted laxly then the proof would fail.

Note that a priori these composites are themselves also only pseudo/lax \mathcal{F}-natural. However, any lax natural transformation that is (pseudo) invertible is actually pseudo natural, so in fact these composites are a pseudo/pseudo \mathcal{F}-natural equivalence GGG\simeq G'.


Fibrations in a 2-category

In Johnstone it is shown that a fibration in a 2-category KK can equivalently be defined as a morphism p:EBp:E\to B with the following property. Let KBK\swarrow B denote the oplax slice 2-category, whose objects are morphisms f:ABf:A\to B and whose morphisms are pairs (g:AA,α:fgf)(g:A\to A', \alpha : f' g \Rightarrow f). We make KBK\swarrow B into an \mathcal{F}-category by declaring (g,α)(g,\alpha) to be tight if α\alpha is an isomorphism.

Now, composing with p:EBp:E\to B induces an \mathcal{F}-functor Σ p:KEKB\Sigma_p : K\swarrow E \to K\swarrow B.


pp is a fibration (in the pseudo sense) if and only if Σ p\Sigma_p has a right semi-lax \mathcal{F}-adjoint.


Created on March 4, 2018 at 05:39:35. See the history of this page for a list of all contributions to it.