Algebra ∩ Coalgebra = Presheaves

摘要

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.