Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
symmetric monoidal (∞,1)-category of spectra
Doctrinal Adjunction is the title of a 1974 paper (Kelly) that gives conditions under which adjoint morphisms in a 2-category , and additionally the unit and counit, may be lifted to the category - for some 2-monad on .
Here - is the 2-category of strict -algebras, lax T-morphisms, and -transformations, but the result works as well for pseudo algebras.
The term ‘doctrinal’ refers to the concept doctrine, in particular to its definition as a 2-monad.
Let be an adjunction in some 2-category and let be a 2-monad on .
There is a bijection between 2-morphisms making a lax -morphism and 2-morphisms making a colax -morphism; it is given by taking mates with respect to the adjunctions and .
The proof (Kelly) relies solely on the properties of the mate correspondence.
For the unit and counit of the adjunction to be -transformations, and hence for the adjunction to live in -, it is necessary and sufficient that have an inverse that makes into a lax -morphism, and hence into a strong -morphism.
Again, the proof hinges on the properties of mates: we take the conditions for the unit and counit to be -transformations and pass to mates wrt and . Noting that is the mate of , the conditions are seen to be equivalent to requiring that and are mutually inverse.
It follows that
in - if and only if in and has inverse = the mate of .
Doctrinal adjunction can be stated cleanly in terms of double categories. Namely, for any 2-monad there is a double category -Alg whose objects are -algebras, whose horizontal arrows are lax -morphisms, whose vertical arrows are colax -morphisms, and whose 2-cells are 2-cells in the base 2-category that make a certain cube commute; see double category of algebras. The horizontal 2-category of this double category is -, and its vertical 2-category is -. There is an obvious forgetful double functor , where is the double category of squares or quintets in .
It is straightforward to verify that a conjunction in the double category -Alg is precisely an adjunction in between -algebras whose left adjoint is colax, whose right adjoint is lax, and for which the lax and colax structure maps are mates under the adjunction – i.e. a “doctrinal adjunction” in the above sense. Furthermore, an arrow in -Alg has a companion precisely when it is a strong (= pseudo) -morphism. The two central results of Kelly’s paper can then be stated as:
The forgetful double functor creates conjunctions. I.e. given a horizontal arrow in and a left conjoint of (i.e. a left adjoint of in ), there is a unique left conjoint of in lying over .
Let be a vertical arrow in (i.e. a colax -morphism) and let and be horizontal arrows (i.e. lax -morphisms). Then from any two of the following three data we can uniquely construct the third.
Of these, the second is actually a general statement about companions and conjoints in any double category. Of course, the first is a special property of the forgetful double functor from the double category of -algebras.
Let Cat and the 2-monad whose 2-algebras are monoidal categories. Then
a lax -morphism is a lax monoidal functor;
an oplax -morphism is an oplax monoidal functor.
The above theorem then asserts
For two adjoint functors between monoidal categories, is oplax monoidal precisely if is lax monoidal.
See at oplax monoidal functor and at monoidal adjunction for more details.
The following article explains the double category perspective:
Last revised on May 4, 2018 at 07:25:44. See the history of this page for a list of all contributions to it.