Coproducts of monads on Set

DOI10.1109/LICS.2012.16MaRDI QIDQ2986780zbMATH OpenOpenAlexFDO

Authors Jiří Adámek, Stefan Milius, Nathan Bowler, Paul Blain Levy

Publication date 16 May 2017

Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

bialgebrascomputational effectscoproductsfixpointsmonads

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories of sets, characterizations (18B05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: Coproducts of monads on Set have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on Set by an initial algebra formula, and prove also the converse: if the coproduct exists, so do the required initial algebras. That formula was, in the case of ideal monads, also used by Ghani and Uustalu. We deduce that coproduct embeddings of consistent monads are injective; and that a coproduct of injective monad morphisms is injective. Two consistent monads have a coproduct iff either they have arbitrarily large common fixpoints, or one is an exception monad, possibly modified to preserve the empty set. Hence a consistent monad has a coproduct with every monad iff it is an exception monad, possibly modified to preserve the empty set. We also show other fixpoint results, including that a functor (not constant on nonempty sets) is finitary iff every sufficiently large cardinal is a fixpoint.

Recommendations

• Coproducts of Ideal Monads
• Exploring the boundaries of monad tensorability on Set
• Universality of coproducts in categories of lax algebras
• Connected monads weakly preserve products
• scientific article; zbMATH DE number 431768

Cited in

(14)

• Algebraic presentation of semifree monads
• Connected monads weakly preserve products
• Normalization by evaluation and algebraic effects
• Composing monads using coproducts
• How does universality of coproducts depend on the cardinality?
• Constructing set-operads from monoids
• Coproducts of Ideal Monads
• Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
• Modules over monads and operational semantics (expanded version)
• A coalgebraic view on reachability
• Interleaving data and effects
• Variable binding and substitution for (nameless) dummies
• Sum and tensor of quantitative effects
• Pushforward monads

This page was built for publication: Coproducts of monads on Set

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