Coproducts of Ideal Monads
From MaRDI portal
Publication:4659887
DOI10.1051/ita:2004016zbMath1072.18006OpenAlexW2115940257MaRDI QIDQ4659887
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
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 (10)
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
This page was built for publication: Coproducts of Ideal Monads
