Some co-Birkhoff type theorems

DOI10.1016/S1571-0661(04)80361-XMaRDI QIDQ2842554zbMATH OpenFDO

Authors Jesse Hughes

Publication date 15 August 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80361-X

Mathematics Subject Classification ID

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

Recommendations

• Birkhoff's covariety theorem without limitations.
• Isomorphism theorems for coalgebras
• Birkhoffs variety theorem for coalgebras
• Coalgebras in a category of classes
• Modal operators for coequations

Cites work

• Birkhoffs variety theorem for coalgebras
• CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6--7, 2001
• Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
• Covarieties and complete covarieties
• Duality for some categories of coalgebras.
• Equational and implicational classes of coalgebras
• Formulas and ultraproducts in categories
• From varieties of algebras to covarieties of coalgebras
• scientific article; zbMATH DE number 3122451 (Why is no real title available?)
• scientific article; zbMATH DE number 3769603 (Why is no real title available?)
• scientific article; zbMATH DE number 3779578 (Why is no real title available?)
• scientific article; zbMATH DE number 3790408 (Why is no real title available?)
• scientific article; zbMATH DE number 3536298 (Why is no real title available?)
• scientific article; zbMATH DE number 3588574 (Why is no real title available?)
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1543350 (Why is no real title available?)
• scientific article; zbMATH DE number 1753205 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 1368949 (Why is no real title available?)
• scientific article; zbMATH DE number 1841841 (Why is no real title available?)
• INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
• Modal operators for coequations
• Modal predicates and coequations
• Modal rules are co-implications
• On notions of factorization systems and their applications to cone- injective subcategories
• Operators on classes of coalgebras
• Strongly complete logics for coalgebras
• Universal coalgebra: A theory of systems
• Weak factorization systems and topological functors
• What is the coalgebraic analogue of Birkhoff's variety theorem?

Cited in

(4)

• Factorization systems and fibrations: toward a fibred Birkhoff variety theorem
• The whole and its parts: on the coherence theorem of Balinski and Young
• Some results on Dunkl-coherent Pairs
• Some facets of Horn covarieties in a category

This page was built for publication: Some co-Birkhoff type theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842554)