Redirected from "nearly AdS2-CFT1".
Contents
Context
Monoidal categories
monoidal categories
With braiding
With duals for objects
With duals for morphisms
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
2-Category theory
2-category theory
Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
Contents
Idea
A monoidal adjunction is an adjunction between monoidal categories which respects the monoidal structure.
Since there are several types of monoidal functors (lax, colax, and strong) there are several types of “adjunctions between monoidal categories which respect the monoidal structure.” Namely, we could have:
-
An adjunction in the 2-category MonCat of monoidal categories and strong monoidal functors. In this case both the left and right adjoint are strong.
We call this a strong monoidal adjunction.
-
An adjunction in the 2-category MonCat of monoidal categories and lax monoidal functors. In this case the right adjoint is lax, while the left adjoint is necessarily strong (by doctrinal adjunction; see here).
In fact, since the right adjoint of an oplax monoidal functor is necessarily a lax monoidal functor (this prop.), it is sufficient to demand that be strong monoidal.
This version, which is one of the most frequently occurring, is often called simply a monoidal adjunction.
-
The dual: an adjunction in the 2-category of monoidal categories and colax monoidal functors, in which case the left adjoint is colax and the right adjoint is strong. One might call this an opmonoidal adjunction.
-
A mixed situation, in which the left adjoint is colax, the right adjoint is lax, and the lax and colax structure maps are mates under the adjunction. This is a conjunction in the double category of monoidal categories and lax and colax monoidal functors, so we may call it a monoidal conjunction or a lax/colax monoidal adjunction. By doctrinal adjunction, given any adjunction between monoidal categories, if the right adjoint is lax monoidal, then the left adjoint automatically acquires a colax monoidal structure making the adjunction into a monoidal conjunction, and dually.
Details
As mentioned above, the nature of monoidal adjunctions follows as a special case from generalities of doctrinal adjunctions. For the record, here is an explicit discussion:
Proposition
Let
be a pair of adjoint functors between monoidal categories, such that the left adjoint is a strong monoidal functor by natural isomorphisms
and
Then
-
the right adjoint becomes a lax monoidal functor via natural morphisms
and
where denotes the adjunction unit and denotes the adjunction counit, as usual.
-
For any object carrying the structure of a monoid object , then
-
the unit of the adjunction is a monoid homomorphism with respect to the canonically induced monoid structure on (this prop.) given by
and
-
similarly for the counit of the adjunction.
Proof
The first statement is discussed at oplax monoidal functor.
For the second statement, we need first need to check that the following square commutes:
Now by definition, the composite of the top and right morphism here is the total diagonal composite in the following diagram:
Here the top sqaures commute by naturality of and , and top right diagonal morphism is the identity morphism, as shown, by the zig-zag identity for the adjunction . Therfore cancels agains . so that the composite morphism in question becomes just . Again by the naturality of the adjunction unit
this equals , as required.
Finally we need to check that the following diagram commutes:
Now unwinding the above definitions of in terms of the definition of we find that
Here the two morphisms in the middle cancel, so that we are left just with
That this equals , as required, follows by the naturality of :
The argument for the homomorphism property of the counit should be formally dual to the above.
Examples
Example
(stabilization in stable homotopy theory)
The stabilization adjunction
between the classical homotopy categories and of (pointed) topological spaces and the stable homotopy category is a monoidal adjunction, since the left adjoint (forming the suspension spectrum of a space after freely adjoining a basepoint) is strong monoidal with respect to forming product topological spaces and forming smash product of spectra, respectively.
In fact this is the derived functors of what is even a monoidal Quillen adjunction between the classical model structure on topological spaces and the stable model structure on orthogonal spectra (this cor.), which implies (strong) monoidality of the derived functors on homotopy categories (this prop.).
In detail, let
be the Quillen adjunction on orthogonal spectra (here). The left adjoint is a strong monoidal functor, and hence so is its derived functor (by this prop.).
We want to see that the structure of a lax monoidal functor which is induced on the derived right adjoint via prop. is the expected one, given on Omega-spectra and by
To see this, observe that if and are CW-Omega-spectra and hence cofibrant and fibrant in then the derived lax monoidal structure is given by the total bottom composite in the following diagram
where we write for brevity , and where denotes functorial fibrant replacement (which exists since the small object argument applies in ). By functoriality of the replacement, all the squares commute, so that the derived lax monoidal structure on CW-Omega spectra is seen to be equivalently the underived one.
But that underived top horizontal composite is manifestly just the canonical isomorphism (since simply picks the component space in degree-0 and preserves the component space in degree 0).