What is the motivation for maps of adjunctions?

Question

In Mac Lane, there is a definition of an arrow between adjunctions called a map of adjunctions. In detail, if a functor $F:X\to A$ is left adjoint to $G:A\to X$ and similarly $F':X'\to A'$ is left adjoint to $G':A'\to X'$, then a map from the first adjunction to the second is a pair of functors $K:A\to A'$ and $L:X\to X'$ such that $KF=F'L$, $LG=G'K$, and $L\eta=\eta'L$, where $\eta$ and $\eta'$ are the units of the first and second adjunction. (The last condition makes sense because of the first two conditions; also, there are equivalent conditions in terms of the co-units, or in terms of the natural bijections of hom-sets).

As far as I can see, after the definition, maps of adjunctions do not appear anywhere in Mac Lane. Googling, I found this definition also in the unapologetic mathematician, again with the motivation of being an arrow between adjunctions.

But what is the motivation for defining arrows between adjunctions in the first place? I find it hard to believe that the only motivation to define such arrows is, well, to define such arrows...

So my question is: What is the motivation for defining a map of adjunctions? Where are such maps used?

Besides the unapologetic mathematician, the only places on the web where I found the term ''map of adjunctions'' were sporadic papers, from which I was not able to get an answer to my question (perhaps ''map of adjunctions'' is non-standard terminology and I should have searched with a different name?).

I came to think about this when reading Emerton's first answer to a question about completions of metric spaces. In that question, $X$ is metric spaces with isometric embeddings, $A$ is complete metric spaces with isometric embeddings, $X'$ is metric spaces with uniformly continuous maps, $A'$ is complete metric spaces with uniformly continuous maps, and $G$ and $G'$ are the inclusions. Now, if I understand the implications of Emerton's answer correctly, then it
is possible to choose left adjoints $F$ and $F'$ to $G$ and $G'$ such that the (non-full) inclusions $A\to A'$ and $X\to X'$ form a map of adjunctions. This made me think whether the fact that we have a map of adjunctions has any added value. Then I realized that I do not even know what was the motivation for those maps in the first place.

[EDIT: Corrected a typo pointed out by Theo Johnson-Freyd (thanks!)]

Answer 1

One of the applications of adjoint functors is to compose them to get a monad (or comonad, depending on the order in which you compose them). A map of adjoint functors gives rise to a map of monads. So one might ask: what are maps of monads good for? Many algebraic categories (such as abelian groups, rings, modules) can be described as categories of algebras over a monad, others (for example in Arakelov geometry) are most easily described in such a way. A map of monads then gives functors between the categories of algebras over these objects.

Here is a concrete example from topology: Let $E$ be a connective generalized multiplicative homology theory, and let $H = H(-;\pi_0E)$ be ordinary homology with coefficients in $\pi_0E$. There exists a map $E \to H$ inducing an isomorphism on $\pi_0$. For a spectrum $X$, the functor $\underline{E}\colon X \mapsto E \wedge X$ gives rise to a monad, and similarly for $H$, thus we get a morphism of monads $\underline{E} \to \underline{H}$. The completion $X\hat{{}_E}$ of a spectrum $X$ at $E$ is defined to be the totalization of the cosimplicial spaces obtained by iteratively applying $\underline{E}$ to $X$. The monad map gives a natural map $X\hat{{}_E} \to X\hat{{}_H}$ which turns out to be an equivalence for connective $X$.

Answer 2

Here is an example of how one might have stumbled upon the definition of a map of adjunctions. Suppose that you are working on a research project with a collaborator. Let's call her Jane for the sake of argument. On the first day you and Jane realize that your joint research project depends partly on knowing whether a certain functor F has a right adjoint. It also depends on taking that supposed right adjoint and putting it to good use. So you really need to know what that right adjoint is. You and Jane call it a day, and agree to continue working the next day.

That night both of you are independently inspired. You wake up in the middle of the night an jot down some notes. The next morning you and Jane meet to discuss what you've each figured out. Fantastic news! Both of you have found the right adjoint to F. You immediately begin planing how you are going to solve XYZ-Big-Problem with this fabulous right adjoint. After the celebratory mood wares away, you and Jane realize with some horror the truth. Your right adjoint G is not the same as Jane's right adjoint G'. They are different functors and the adjunction structure maps are different.

Whatever are you to do? Which one should you use?

Fortunately Jane has a flash of insight. We know that two functors can be isomorphic, what about adjunctions? After thinking about this some more, you and Jane figure out that a morphism of adjunctions should be a morphism of functors which preserves the adjunction structure. You try to do this is the simplest way possible and BAM! You've rediscovered the notion of morphism of adjunction. You notice that while G and G' are not the same functor (and hence not the same adjunction) they are isomorphic adjunctions. Whew!

But now you and Jane start to seriously worry. You have your functor F and you know that your right adjoint G and Jane's right adjoint G' are isomorphic. But what happens when Prof. X comes along with his right adjoint G''? Will it be isomorphic to G and G'? Given F, how unique is its right adjoint? Even if G, G', and G'' are all isomorphic adjunctions there might be some monodromy, i.e. the isomorphism, $$G \to G' \to G'' \to G$$ might theoretically fail to be the identity.

Then you read a little farther in MacLane and you find this theorem (I'm rephrasing it with some terminology which is in vogue.

Theorem: Given a functor F, the category of right adjoints to F (with their adjunction data and with morphisms of adjunctions as morphisms) is either empty or is a contractible category (i.e. it is equivalent to a terminal category i.e. any two objects are isomorphic and that isomorphism is unique).

So you can stop worrying. Any other right adjoint G'' that Prof. X brings to you will in fact be (uniquely) isomorphic to the one you discovered.

Answer 3

One place a category of adjunctions is used is in proposition 3.1.5 of Hovey's book on model categories. It says that if $\mathscr{C}$ is a category with all small colimits, then the category $\mathscr{C}^\Delta$ of cosimplicial objects is equivalent to the category of adjunctions $\mathbf{SSet}\rightarrow\mathscr{C}$. I guess if you had a morphism between two different definitions of simplices in $\mathbf{Top}$, then you might want a morphism of adjunctions to say what this does to geometric realization.

Answer 4

The 2-category of categories, adjunctions, and conjugate natural transformations (i.e., maps of adjunctions between the same categories) is used in an approach to modal type theory in Adjoint Logic with a 2-Category of Modes.

The general 2-categorical account of the double category of categories, adjunctions and maps of adjunctions is given by mates.

Answer 5

Mac Lane book "CAtegories for the working MAtematicians" use "Maps of adjunctions" (as he had defined in his book) about universality of Kleisly or Eilenberg-Moore category of an a adjunction. Anyway the family of adjunctions make a very general structure of a double category, and the definition of MAcLAne is only a very special case. See John W. Gray "Formal Category theory" LNM 391, p.144.