Dualising initial algebras

DOI10.1017/S0960129502003912MaRDI QIDQ4408809zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

coalgebracomonad

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(14)

• Generalizing Substitution
• scientific article; zbMATH DE number 1617306 (Why is no real title available?)
• Substitution in non-wellfounded syntax with variable binding
• The category-theoretic solution of recursive program schemes
• Recursive program schemes and context-free monads
• Explicit substitutions and higher-order syntax
• Infinite trace equivalence
• Relatively terminal coalgebras
• The Recursion Scheme from the Cofree Recursive Comonad
• Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
• Algebras, coalgebras, monads and comonads
• 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)