The intersection of algebra and coalgebra
From MaRDI portal
Publication:860879
DOI10.1016/J.TCS.2006.07.004zbMath1110.18002OpenAlexW1968654628MaRDI QIDQ860879
Publication date: 9 January 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.004
Equational categories (18C05) Varieties (08B99) Categories of machines, automata (18B20) Theory of computing (68Q99) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (3)
Unnamed Item ⋮ On congruence lattices in a category ⋮ A logic of implications in algebra and coalgebra
Cites Work
- One more categorical model of universal algebra
- What is concrete equivalence?
- Universal coalgebra: A theory of systems
- A Note on Coalgebras and Presheaves
- On varieties and covarieties in a category
- Algebra and Coalgebra in Computer Science
- Equational and implicational classes of coalgebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The intersection of algebra and coalgebra