Some Co-Birkhoff Type Theorems
From MaRDI portal
Publication:2842554
DOI10.1016/S1571-0661(04)80361-XzbMath1270.18014MaRDI QIDQ2842554
Publication date: 15 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
18C20: Eilenberg-Moore and Kleisli constructions for monads
Related Items
Cites Work
- Formulas and ultraproducts in categories
- On notions of factorization systems and their applications to cone- injective subcategories
- Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
- Universal coalgebra: A theory of systems
- Weak factorization systems and topological functors
- Duality for some categories of coalgebras.
- CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6--7, 2001
- Modal Predicates and Coequations
- Strongly Complete Logics for Coalgebras
- From Varieties of Algebras to Covarieties of Coalgebras
- Modal Operators for Coequations
- Modal Rules are Co-Implications
- INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
- Equational and implicational classes of coalgebras
- Covarieties and complete covarieties
- Operators on classes of coalgebras
- What is the coalgebraic analogue of Birkhoff's variety theorem?
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item