Additions and corrections to ``Terminal coalgebras in well-founded set theory

DOI10.1016/0304-3975(94)90060-4zbMath0788.18001OpenAlexW1984857600MaRDI QIDQ1318731

Michael Barr

Publication date: 5 April 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90060-4

zbMATH Keywords

initial algebra for endofunctorterminal coalgebra for endofunctorwell-founded set theory

Mathematics Subject Classification ID

Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)

Related Items

Coalgebraic Representation Theory of Fractals, Mongruences and cofree coalgebras, Bisimulation for probabilistic transition systems: A coalgebraic approach, On coalgebra based on classes, Expressivity of coalgebraic modal logic: the limits and beyond, Modal Languages for Coalgebras in a Topological Setting, Fixed Points of Functors - A Short Abstract, Covarieties and complete covarieties, Terminal coalgebras and free iterative theories, Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors, On Rational Monads and Free Iterative Theories, Coalgebraic logic, A logic of implications in algebra and coalgebra, Universal coalgebra: A theory of systems, Saturated Kripke structures as Vietoris coalgebras

Cites Work

• Terminal coalgebras in well-founded set theory
• A final coalgebra theorem