The intersection of algebra and coalgebra

DOI10.1016/J.TCS.2006.07.004zbMATH Open1110.18002OpenAlexW1968654628MaRDI QIDQ860879FDOQ860879

Authors: Jiří Adámek 

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

Recommendations

• From varieties of algebras to covarieties of coalgebras
• scientific article; zbMATH DE number 2154590
• On universal categories of coalgebras
• scientific article; zbMATH DE number 3922927
• A note on coalgebras and presheaves

zbMATH Keywords

covarietyvarietypresheaf category

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Theory of computing (68Q99) Categories of machines, automata (18B20) Equational categories (18C05) Varieties (08B99)

Cites Work

• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specification of abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)
• On varieties and covarieties in a category
• Title not available (Why is that?)
• Title not available (Why is that?)
• One more categorical model of universal algebra
• What is concrete equivalence?
• A note on coalgebras and presheaves
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebra and Coalgebra in Computer Science
• Equational and implicational classes of coalgebras

Cited In (13)

• A note on coalgebras and presheaves
• The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras
• On congruence lattices in a category
• Universality of categories of coalgebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic coalitions
• Title not available (Why is that?)
• Special issue: Algebras and coalgebras. Proceedings of the international conference, Cairo, Egypt, March 25--30, 2006
• From varieties of algebras to covarieties of coalgebras
• A logic of implications in algebra and coalgebra
• A note on coalgebras and presheaves
• Applications of algebra and coalgebra in scientific modelling: illustrated with the logistic map

This page was built for publication: The intersection of algebra and coalgebra

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