The formal theory of multimonoidal monads

zbMath1410.18007arXiv1810.11300MaRDI QIDQ4631636

Böhm, Gabriella

Publication date: 16 April 2019

Full work available at URL: https://arxiv.org/abs/1810.11300

zbMATH Keywords

liftingpseudomonoidmonoidal 2-categoryEilenberg-Moore construction(op)monoidal monadmonoidal double category

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

The Gray monoidal product of double categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The formal theory of monoidal monads
• Monads in double categories
• Languages for monoidal categories
• Monads on higher monoidal categories
• Limits for lax morphisms
• Monoidal bicategories and Hopf algebroids
• Tori detect invertibility of topological field theories
• Formal category theory: Adjointness for 2-categories
• Higher dimensional algebra. I: Braided monoidal 2-categories
• Monoidal categories in, and linking, geometry and algebra
• The formal theory of monads
• Tensors, monads and actions
• Double Adjunctions and Free Monads
• Monoidal Functors, Species and Hopf Algebras
• Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
• Coherence for tricategories
• Hopf monoidal comonads
• Theories of analytic monads
• Monads on tensor categories