Coproducts of Ideal Monads

DOI10.1051/ita:2004016zbMath1072.18006OpenAlexW2115940257MaRDI QIDQ4659887

Tarmo Uustalu, Neil Ghani

Publication date: 21 March 2005

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2004__38_4_321_0

zbMATH Keywords

coproductmonadideal monadprogramming langage

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

Normalization by evaluation and algebraic effects ⋮ Monads for behaviour ⋮ The coinductive resumption monad ⋮ Recursive Program Schemes and Context-Free Monads ⋮ Isomorphism theorems between models of mixed choice ⋮ On second-order iterative monads ⋮ Interleaving data and effects ⋮ Modularity and Implementation of Mathematical Operational Semantics ⋮ Completely iterative algebras and completely iterative monads ⋮ Algebraic presentation of semifree monads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Substitution in non-wellfounded syntax with variable binding
• Explicit substitutions and higher-order syntax
• A category-theoretic characterization of functional completeness
• Infinite trees and completely iterative theories: A coalgebraic view
• Coequalizers and free triples
• Coalgebraic Monads
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Free iterative theories: a coalgebraic view
• Dualising initial algebras
• A categorical manifesto
• Parametric corecursion