Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
From MaRDI portal
Publication:2842550
DOI10.1016/S1571-0661(04)80357-8zbMath1270.68183OpenAlexW2134705904MaRDI QIDQ2842550
Jiří Adámek, Jiří Velebil, Stefan Milius
Publication date: 15 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80357-8
Abstract data types; algebraic specification (68Q65) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (3)
On coalgebra based on classes ⋮ On Rational Monads and Free Iterative Theories ⋮ A Mezei-Wright theorem for categorical algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Additions and corrections to ``Terminal coalgebras in well-founded set theory
- Infinite trees and completely iterative theories: A coalgebraic view
- Universal coalgebra: A theory of systems
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
- A Coalgebraic View of Infinite Trees and Iteration
- From Varieties of Algebras to Covarieties of Coalgebras
- A final coalgebra theorem
- On the structure of categories of coalgebras
- Parametric corecursion
This page was built for publication: Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
