Dualising initial algebras

DOI10.1017/S0960129502003912zbMATH Open1049.18005OpenAlexW2023185056MaRDI QIDQ4408809FDOQ4408809

Authors: Neil Ghani, Christoph Lüth, Federico De Marchi, 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

Recommendations

• Algebras, coalgebras, monads and comonads
• Universal coalgebra: A theory of systems
• Duality for some categories of coalgebras.
• On coalgebras over algebras
• Coalgebraic monads

zbMATH Keywords

coalgebracomonad

Mathematics Subject Classification ID

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

Cited In (14)

• Generalizing Substitution
• Title not available (Why is that?)
• Substitution in non-wellfounded syntax with variable binding
• Recursive program schemes and context-free monads
• The category-theoretic solution of recursive program schemes
• Explicit substitutions and higher-order syntax
• Infinite trace equivalence
• The Recursion Scheme from the Cofree Recursive Comonad
• Algebras, coalgebras, monads and comonads
• Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
• Relatively terminal coalgebras
• On second-order iterative monads
• On the construction of free algebras for equational systems
• Coproducts of Ideal Monads

This page was built for publication: Dualising initial algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4408809)