Voir la notice de l'article dans Numdam
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 [Bull. Austral. Math. Soc. 22 (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, Lect. Notes Artif. Intell. 2309 (2002) 18-32], and that of Hyland, Plotkin and Power [IFIP Conf. Proc. 223 (2002) 474-484], we are looking for specific situations when simpler constructions are available. This paper uses fixed points to give a simple construction of the coproduct of two ideal monads.
@article{ITA_2004__38_4_321_0,
author = {Ghani, Neil and Uustalu, Tarmo},
title = {Coproducts of ideal monads},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {321--342},
publisher = {EDP-Sciences},
volume = {38},
number = {4},
year = {2004},
doi = {10.1051/ita:2004016},
zbl = {1072.18006},
mrnumber = {2098194},
language = {en},
url = {https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2004016/}
}
TY - JOUR AU - Ghani, Neil AU - Uustalu, Tarmo TI - Coproducts of ideal monads JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2004 SP - 321 EP - 342 VL - 38 IS - 4 PB - EDP-Sciences UR - https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2004016/ DO - 10.1051/ita:2004016 LA - en ID - ITA_2004__38_4_321_0 ER -
%0 Journal Article %A Ghani, Neil %A Uustalu, Tarmo %T Coproducts of ideal monads %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2004 %P 321-342 %V 38 %N 4 %I EDP-Sciences %U https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2004016/ %R 10.1051/ita:2004016 %G en %F ITA_2004__38_4_321_0
Ghani, Neil; Uustalu, Tarmo. Coproducts of ideal monads. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 38 (2004) no. 4, pp. 321-342. doi : 10.1051/ita:2004016. https://geodesic-test.mathdoc.fr/articles/10.1051/ita:2004016/
Cité par Sources :