The formal theory of monoidal monads

DOI10.1016/J.JPAA.2012.02.030MaRDI QIDQ456867zbMATHOpenAlexFDO

Authors Marek Zawadowski

Publication date 16 October 2012

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 3572382 (Why is no real title available?)
• scientific article; zbMATH DE number 2028926 (Why is no real title available?)
• scientific article; zbMATH DE number 1863401 (Why is no real title available?)
• A category of quantum categories
• Formal category theory: Adjointness for 2-categories
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Hopf monoidal comonads
• Lax Monoidal Fibrations
• Monads on tensor categories
• On weak higher dimensional categories. I: Part 1
• Polynomial functors and opetopes
• The formal theory of monads
• The web monoid and opetopic sets

Cited in

(22)

• The formal theory of multimonoidal monads
• Towards a formal theory of graded monads
• scientific article; zbMATH DE number 5585079 (Why is no real title available?)
• Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
• The formal theory of relative monads
• Flexibly graded monads and graded algebras
• Monads of regular theories
• scientific article; zbMATH DE number 1024332 (Why is no real title available?)
• Diagrammatics for comodule monads
• scientific article; zbMATH DE number 7774244 (Why is no real title available?)
• scientific article; zbMATH DE number 7052238 (Why is no real title available?)
• scientific article; zbMATH DE number 522862 (Why is no real title available?)
• The Vietoris monad and weak distributive laws
• Tensors, monads and actions
• scientific article; zbMATH DE number 139984 (Why is no real title available?)
• Morita contexts as lax functors
• The Sugeno integral and functional representation of the monad of lattice-valued capacities
• Algebraic presentation of semifree monads
• The formal theory of monads. II
• Theories of analytic monads
• A perfect pairing for monoidal adjunctions
• Internal Kleisli categories

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)