Part of the Lecture Notes in Computer Science book series (LNCS, volume 3629)
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.
Unable to display preview. Download preview PDF.
- [LP]Linton, F.E.J., Paré, R.C.: Injectives in topoi I: Representing coalgebras as algebras. Lect. Notes Mathem., vol. 719, pp. 196–206. Springer, Heidelberg (1970)Google Scholar
- [M]MacLane, S.: Categories for the working mathematician. Springer, Heidelberg (1971)Google Scholar
- [W]Worrell, J.: A note on coalgebras and presheaves. Electr. Notes Theor. Comput. Sci. 65(1) (2002)Google Scholar
© Springer-Verlag Berlin Heidelberg 2005