Coproducts of Monads on Set

DOI10.1109/LICS.2012.16zbMath1364.18001arXiv1409.3804OpenAlexW1970598198MaRDI QIDQ2986780

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

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

coproductsbialgebrasmonadscomputational effectsfixpoints

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) 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) Categories of sets, characterizations (18B05)

Related Items (7)

Normalization by evaluation and algebraic effects ⋮ Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence ⋮ Variable binding and substitution for (nameless) dummies ⋮ Interleaving data and effects ⋮ Unnamed Item ⋮ A coalgebraic view on reachability ⋮ Algebraic presentation of semifree monads

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