Abstract
A characterization result for equationally definable classes of certain coalgebras (including basic hidden algebra) shows that a class of coalgebras is definable by equations if and only if it is closed under coproducts, quotients, sources of morphisms and representative inclusions. The notions of equation and satisfaction are axiomatized in order to include the different approaches in the literature.
Original language | English (US) |
---|---|
Pages (from-to) | 229-247 |
Number of pages | 19 |
Journal | Theoretical Computer Science |
Volume | 260 |
Issue number | 1-2 |
DOIs | |
State | Published - 2001 |
Externally published | Yes |
Keywords
- Birkhoff axiomatizability
- Category theory
- Coalgebra
- Logic
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science