The formal theory of monoidal monads

DOI10.1016/J.JPAA.2012.02.030zbMATH Open1269.18003arXiv1012.0547OpenAlexW2086880825MaRDI QIDQ456867FDOQ456867

Authors: Marek Zawadowski 

Publication date: 16 October 2012

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg-Moore algebras for an oplax monoidal monad, we always have a natural monoidal structures. The key observation is that the 2-category of lax monoidal monads in any 2-category D with finite products is isomorphic to the 2-category of monoidal objects with oplax morphisms in the 2-category of monads with lax morphisms in D. As we explain at the end of the paper a similar phenomenon occurs in many other situations.

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

Recommendations

• The formal theory of multimonoidal monads
• The formal theory of monads. II
• Monads on higher monoidal categories
• On the formal theory of pseudomonads and pseudodistributive laws
• Exponential Kleisli monoids as Eilenberg-Moore algebras

zbMATH Keywords

category of Eilenberg-Moore algebrascategory of Kleisli algebraslax monoidal monadoplax monoidal monad

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Cites Work

• The web monoid and opetopic sets
• The formal theory of monads
• Title not available (Why is that?)
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Monads on tensor categories
• Formal category theory: Adjointness for 2-categories
• On weak higher dimensional categories. I: Part 1
• Lax Monoidal Fibrations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hopf monoidal comonads
• A category of quantum categories
• Polynomial functors and opetopes

Cited In (21)

• Title not available (Why is that?)
• Algebraic presentation of semifree monads
• Internal Kleisli categories
• The Vietoris monad and weak distributive laws
• The Sugeno integral and functional representation of the monad of lattice-valued capacities
• A perfect pairing for monoidal adjunctions
• The formal theory of multimonoidal monads
• Title not available (Why is that?)
• Theories of analytic monads
• Diagrammatics for comodule monads
• Monads of regular theories
• Title not available (Why is that?)
• Flexibly graded monads and graded algebras
• Towards a formal theory of graded monads
• Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• The formal theory of monads. II
• Morita contexts as lax functors
• Tensors, monads and actions
• Title not available (Why is that?)

This page was built for publication: The formal theory of monoidal monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456867)