Covarieties and complete covarieties

DOI10.1016/S0304-3975(00)00123-7zbMath0973.68174OpenAlexW2044602322MaRDI QIDQ5941160

Tobias Schröder, H. Peter Gumm

Publication date: 20 August 2001

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00123-7

zbMATH Keywords

coalgebrabisimulationcoalgebraic logiccomplete covarietycovariety

Mathematics Subject Classification ID

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

Related Items

Distributivity of categories of coalgebras ⋮ AUTOMATA AND TREE AUTOMATA AS (F₁, F₂)-COALGEBRAS ⋮ Algebra, Coalgebra, and Minimization in Polynomial Differential Equations ⋮ Modal Rules are Co-Implications ⋮ Equational and implicational classes of coalgebras ⋮ Equational axiomatizability for coalgebra ⋮ Terminal coalgebras and free iterative theories ⋮ Coalgebraic logics \& duality ⋮ Some Co-Birkhoff Type Theorems ⋮ Factorization systems and fibrations ⋮ Universal coalgebra: A theory of systems

Cites Work

• Unnamed Item
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Universal coalgebra: A theory of systems
• Functors for coalgebras