Algebra ∩ coalgebra = presheaves

Authors:
J. Adámek
Affiliations:
Technical University of Braunschweig
Venue:
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Year:
2005

Citing 3
Cited 1

Specification of abstract data types

Specification of abstract data types
Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
On varieties and covarieties in a category

Mathematical Structures in Computer Science

The intersection of algebra and coalgebra

Theoretical Computer Science - Algebra and coalgebra in computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract

The intersection of algebra and coalgebra, i.e., the collection of all categories that are varieties as well as covarieties, is proved to consist of precisely the presheaf categories.