The formal theory of monoidal monads
From MaRDI portal
Publication:456867
DOI10.1016/j.jpaa.2012.02.030zbMath1269.18003arXiv1012.0547OpenAlexW2086880825MaRDI QIDQ456867
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
category of Eilenberg-Moore algebrascategory of Kleisli algebraslax monoidal monadoplax monoidal monad
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (5)
Unnamed Item ⋮ Theories of analytic monads ⋮ The formal theory of multimonoidal monads ⋮ Unnamed Item ⋮ Monads of regular theories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Polynomial functors and opetopes
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- On weak higher dimensional categories. I: Part 1
- Formal category theory: Adjointness for 2-categories
- The web monoid and opetopic sets
- The formal theory of monads
- Lax Monoidal Fibrations
- Hopf monoidal comonads
- A category of quantum categories
- Monads on tensor categories
This page was built for publication: The formal theory of monoidal monads