Coproducts of Ideal Monads
Neil Ghani, Tarmo Uustalu (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by Kelly [ (1980) 1–83], its generality is reflected in its complexity which limits the applicability of this construction. Following our own research [C. Lüth and N. Ghani, (2002) 18–32], and...