Equational and implicational classes of coalgebras

DOI10.1016/S0304-3975(00)00122-5zbMath0973.68175MaRDI QIDQ5941159

H. Peter Gumm

Publication date: 20 August 2001

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

zbMATH Keywords

coalgebraBirkhoffco-implicationcoequationcovarietyMal'cevquasi-covariety

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

The Burnside algebra of a quasigroup., The intersection of algebra and coalgebra, From Varieties of Algebras to Covarieties of Coalgebras, Operators on classes of coalgebras, Some Co-Birkhoff Type Theorems, Modal Predicates and Coequations, Factorization systems and fibrations, A logic of implications in algebra and coalgebra, Final coalgebras and the Hennessy-Milner property

Cites Work

• Unnamed Item
• Universal coalgebra: A theory of systems
• Terminal coalgebras in well-founded set theory
• An approach to object semantics based on terminal co-algebras
• Covarieties and complete covarieties
• Functors for coalgebras