Coproducts of Monads on Set

Adámek J, Bowler N, Levy P, Milius S (2012)


Publication Type: Conference contribution

Publication year: 2012

Publisher: IEEE Computer Society

Edited Volumes: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012

Series: Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on

City/Town: Dubrovnik

Pages Range: 45-54

Conference Proceedings Title: Proc. 27th Annual Symposium on Logic in Computer Science (LICS’12)

Event location: Dubrovnik

ISBN: 978-1-4673-2263-8

DOI: 10.1109/LICS.2012.16

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.

Authors with CRIS profile

Involved external institutions

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: Download