The intersection of algebra and coalgebra

DOI10.1016/J.TCS.2006.07.004MaRDI QIDQ860879zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3645322 (Why is no real title available?)
• scientific article; zbMATH DE number 3536298 (Why is no real title available?)
• scientific article; zbMATH DE number 1231626 (Why is no real title available?)
• scientific article; zbMATH DE number 1497879 (Why is no real title available?)
• scientific article; zbMATH DE number 2154590 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 3291978 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3367098 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• A note on coalgebras and presheaves
• Algebra and Coalgebra in Computer Science
• Equational and implicational classes of coalgebras
• On varieties and covarieties in a category
• One more categorical model of universal algebra
• Specification of abstract data types
• Universal coalgebra: A theory of systems
• What is concrete equivalence?

Cited in

(13)

• A note on coalgebras and presheaves
• The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras
• Universality of categories of coalgebras
• On congruence lattices in a category
• scientific article; zbMATH DE number 3588574 (Why is no real title available?)
• scientific article; zbMATH DE number 2154590 (Why is no real title available?)
• Algebraic coalitions
• scientific article; zbMATH DE number 5526289 (Why is no real title available?)
• 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)