Can a category structure be defined on the collection $Adj(\mathbf C,\mathbf D)$ of all pairs of adjoint functors $$ (F\colon\mathbf C\to \mathbf D)\dashv (G\colon \mathbf D\to \mathbf C)$$ in such a way that the correspondence $\mathbf{Cat}\times\mathbf{Cat}\to \mathbf{Cat}\colon (\mathbf C,\mathbf D)\mapsto Adj(\mathbf C,\mathbf D)$ is functorial?
The category of adjoint functors
4
$\begingroup$
category-theory
-
1Doubtful, since adjointness is not preserved by composition. However, you can make a category of adjoints – see [CWM, Ch. IV, §7]. – 2012-09-08
-
0What if I take a different category structure on $\mathbf{Cat}$? Quite tautologically, if I take as morphisms $\mathbf C\to \mathbf D$ couples of adjoint functors between the two categories, I obtain a category $\mathbf{Cat}^A$; now suppose a morphism $\mathbf C\leftrightarrows \mathbf C'$ in $\mathbf{Cat}^A$ is given, then you can define at least a correspondence on objects $Adj(\mathbf C,\mathbf D)\to Adj(\mathbf C',\mathbf D)$. – 2012-09-08
-
0It is now simply a matter of deciding which is the "right" category structure on $Adj(\mathbf C,\mathbf D)$ in order to define a correspondence on arrows too. Which one of the two structures proposed in [CWM, IV, 7] is the most suitable? And these two are in some sense "compatible"? Are they completely different (I'm aware this is a different question: if you want I'll open a different topic)? – 2012-09-08
-
1The one in the main text (with "conjugate" pairs of natural transformations) is standard and can be made into part of a double category: see the examples [here](http://ncatlab.org/nlab/show/double+category#examples_21). It's not clear to me why you want to make $\textrm{Adj}(-, -)$ into a functor though. – 2012-09-08
-
2No particular reason, just playing :) – 2012-09-08