Some Co-Birkhoff Type Theorems

DOI10.1016/S1571-0661(04)80361-XzbMath1270.18014MaRDI QIDQ2842554

Jesse Hughes

Publication date: 15 August 2013

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

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (2)

Some facets of Horn covarieties in a category ⋮ Factorization systems and fibrations

Cites Work

• 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
• 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?

This page was built for publication: Some Co-Birkhoff Type Theorems