symmetric monoidal (∞,1)-category of spectra
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
monoidal dagger-category?
Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
A monoidal monad is a monad in the 2-category of monoidal categories, lax monoidal functors, and monoidal transformations.
The notion of monoidal monad is equivalent to the notion of commutative monad. To put it another way: to give a commutative strength for a monad is to give a monoidal monad whose underlying monad is . We explore this connection below.
We discuss how monoidal monads functorially give rise to strong monads.
First to recall the notion of a strong monad:
Let be a monoidal category. We say a functor is strong if there are given left and right tensorial strengths, namely natural transformations of the form:
which are suitably compatible with one another: The full set of coherence conditions may be summarized by saying preserves the two-sided monoidal action of on itself, in an appropriate 2-categorical sense. More precisely: the two-sided action of on itself is a lax functor of 2-categories
where
Cat dentes the 2-category of categories, functors and natural transformations,
denotes the delooping one-object 2-category of the monoidal category ,
denotes its 1-cell dual, hence the same 2-category except with 1-morphism composition (here: tensor product) in reverse order),
the two-sided strength means we have a structure of lax natural transformation .
In the setting where is symmetric monoidal, we will assume that the left and right strengths and are related by the symmetry in the obvious way, by a commutative square
where the ‘s are instances of the symmetry isomorphism.
There is a category of strong functors , whose morphisms are natural transformations which are compatible with the strengths in the obvious sense. Under composition, this is a strict monoidal category.
The monoid objects in this monoidal category are called strong monads.
A strong monad (def. ) is a commutative monad if there is an equality of natural transformations where
is the composite
is the composite
(strength from monoidalness)
For a monoidal monad (Def. ), with the monoidal monad-structure on the underlying functor denoted by
Define strengths on both the left and the right by:
The strong monad structures obtained from monoidal monads via Def. are commutative monads (Def. ).
In fact, the two composites
are both equal to . We show this for the second composite; the proof is similar for the first. If denotes the monoidal constraint for and the constraint for the composite , then by definition is the composite given by
and so, using the properties of monoidal monads, we have a commutative diagram
which completes the proof.
This construction is functorial:
Given monoidal monads and on a monoidal category , a morphism of monads is a morphism of the induced strong monad structures (Def. ) if and only if it is a monoidal natural transformation.
(e.g. FPR (2019), Prop. C.5)
This relation has a converse:
(Kock (1972), Thm. 2.3)
For a monad on (the underlying category of) a symmetric closed monoidal category, there is a bijection between the structure on of:
See here.
The Kleisli category of a monoidal monad on inherits the monoidal structure from . In particular, the tensor product is given
where is the monoidal multiplication of . * The associator and unitor are induced by those of .
See examples of commutative monads.
Anders Kock, Monads on symmetric monoidal closed categories, Arch. Math. 21 (1970) 1-10 [doi:10.1007/BF01220868]
Anders Kock, Closed categories generated by commutative monads, Journal of the Australian Mathematical Society 12 4 (1971) 405-424 [doi:10.1017/S1446788700010272, pdf]
Anders Kock, Strong functors and monoidal monads, Arch. Math 23 (1972) 113–120 [doi:10.1007/BF01304852, pdf]
H. Lindner, Commutative monads in Deuxiéme colloque sur l’algébre des catégories. Amiens-1975. Résumés des conférences, pages 283-288. Cahiers de topologie et géométrie différentielle catégoriques, tome 16, nr. 3, 1975.
William Keigher, Symmetric monoidal closed categories generated by commutative adjoint monads, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 19 no. 3 (1978), p. 269-293 (NUMDAM, pdf)
Gavin J. Seal, Tensors, monads and actions (arXiv:1205.0101)
Martin Brandenburg, Tensor categorical foundations of algebraic geometry (arXiv:1410.1716)
A statement in the text appears in Appendix C of
Last revised on March 14, 2023 at 18:33:31. See the history of this page for a list of all contributions to it.