Monoidal Monad¶
A monad on a monoidal category equipped with coherent lax-monoidal comparison maps compatible with the monad unit and multiplication.
Core Idea¶
A monoidal monad on a monoidal category is a monad whose endofunctor is lax monoidal and whose unit and multiplication are monoidal natural transformations, so monadic effects combine coherently with tensor products and the tensor unit.
A monad T carries coherent maps TA⊗TB→T(A⊗B) and I→TI, while η and μ commute with those maps. A monad has no tensor comparison maps, so its Kleisli category has no canonical monoidal structure supplied by this definition.
Scope of Application¶
- Category theory. Studies monads internal to the 2-category of monoidal categories.
- Programming semantics. Models compatible combination of computational effects.
- Kleisli construction. Induces monoidal structure under the stated compatibility.
- Algebraic structures. Relates monads, tensors, and monoidal natural transformations.
Clarity¶
Include monads whose endofunctor has specified lax-monoidal maps and whose η and μ satisfy the corresponding monoidal naturality and coherence laws. Exclude plain monads, lax monoidal functors lacking monad operations, opmonoidal monads with reversed maps, and informal claims that effects merely coexist with products. Inclusion test: Include monads whose endofunctor has specified lax-monoidal maps and whose η and μ satisfy the corresponding monoidal naturality and coherence laws. Exclusion test: Exclude plain monads, lax monoidal functors lacking monad operations, opmonoidal monads with reversed maps, and informal claims that effects merely coexist with products. Nearest boundary: An opmonoidal monad is the closest directional neighbor: its comparison maps go from T(A⊗B) to TA⊗TB and its algebraic consequences differ. Exit condition: The identity exits when either lax-monoidal coherence or compatibility of η and μ is absent. Common misclassifications: It is not every monad on a category that happens to have products. It is not a lax monoidal functor without η and μ. It is not an opmonoidal monad with arrows reversed. It is not established by a single tensor comparison lacking coherence. Nearest named distinctions: Plain monad: Has η and μ but no required tensor compatibility. Opmonoidal monad: Uses comparison maps in the opposite direction. Monoidal functor: Need not carry monad operations. Commutative monad: Adds another compatibility condition and should not be assumed synonymous.
Manages Complexity¶
Tensoring effectful objects is useful only when comparison maps agree with associativity, units, η, and μ. Changing arrow direction changes whether T combines separate effects or decomposes a combined object.
Abstract Reasoning¶
- Specify the ambient tensor product, tensor unit, and coherence isomorphisms.
- Verify that T, η, and μ first form a monad.
- Exhibit TA⊗TB→T(A⊗B) and I→TI with their lax-monoidal coherence.
- Check that η respects both tensor and unit comparisons.
- Check that μ respects the comparisons through T².
- Distinguish every use from the arrow-reversed opmonoidal construction.
Knowledge Transfer¶
Monad-plus-tensor compatibility transfers to effects, algebraic semantics, and enriched constructions only after the tensor, coherence maps, and monoidality of unit and multiplication are re-established; oplax structure reverses the comparison arrows and is not interchangeable.
Relationships to Other Abstractions¶
Current abstraction Monoidal Monad Domain-specific
Parents (1) — more general patterns this builds on
-
Monoidal Monad presupposes Monoid Prime
Monoidal Monad presupposes Monoid because its unit and multiplication form a monoid object in endofunctors compatible with monoidal comparison maps.
Hierarchy paths (5) — routes to 5 parentless roots
- Monoidal Monad → Monoid → Semigroup → Set and Membership
- Monoidal Monad → Monoid → Identity Element
- Monoidal Monad → Monoid → Semigroup → Closure
- Monoidal Monad → Monoid → Semigroup → Associativity → Invariance
- Monoidal Monad → Monoid → Semigroup → Associativity → Symmetry
Neighborhood in Abstraction Space¶
Monoidal Monad sits in a moderately populated region (45th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Category Theory & Higher Structures (18 abstractions)
Nearest neighbors
- Monoidal Natural Transformation — 0.91
- Simplicial Localization — 0.87
- Mac Lane's coherence theorem — 0.87
- K-theory — 0.87
- Day Convolution — 0.85
Computed from structural-signature embeddings · 2026-10-08