Dualising initial algebras

DOI10.1017/S0960129502003912zbMath1049.18005OpenAlexW2023185056MaRDI QIDQ4408809

Federico De Marchi, Neil Ghani, Christoph Lüth, A. John Power

Publication date: 13 October 2003

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129502003912

zbMATH Keywords

coalgebracomonad

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (11)

Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Explicit substitutions and higher-order syntax ⋮ Recursive Program Schemes and Context-Free Monads ⋮ The category-theoretic solution of recursive program schemes ⋮ On second-order iterative monads ⋮ Infinite trace equivalence ⋮ The Recursion Scheme from the Cofree Recursive Comonad ⋮ Coproducts of Ideal Monads ⋮ Substitution in non-wellfounded syntax with variable binding ⋮ On the construction of free algebras for equational systems ⋮ Generalizing Substitution

This page was built for publication: Dualising initial algebras