Coproducts of Monads on Set

Conference contribution


Publication Details

Author(s): Adámek J, Bowler N, Levy P, Milius S
Title edited volumes: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012
Publisher: IEEE Computer Society
Publishing place: Dubrovnik
Publication year: 2012
Title of series: Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on
Conference Proceedings Title: Proc. 27th Annual Symposium on Logic in Computer Science (LICS’12)
Pages range: 45-54
ISBN: 978-1-4673-2263-8


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. © 2012 IEEE.



FAU Authors / FAU Editors

Milius, Stefan apl. Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


External institutions with authors

Technische Universität Braunschweig
Universität Hamburg
University of Birmingham


How to cite

APA:
Adámek, J., Bowler, N., Levy, P., & Milius, S. (2012). Coproducts of Monads on Set. In Proc. 27th Annual Symposium on Logic in Computer Science (LICS’12) (pp. 45-54). Dubrovnik: Dubrovnik: IEEE Computer Society.

MLA:
Adámek, Jiří, et al. "Coproducts of Monads on Set." Proceedings of the LICS 2012, Dubrovnik Dubrovnik: IEEE Computer Society, 2012. 45-54.

BibTeX: 

Last updated on 2018-09-08 at 23:09