Birkhoff's Covariety Theorem without limitations
Commentationes Mathematicae Universitatis Carolinae, Tome 46 (2005) no. 2, pp. 197-215
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library
J. Rutten proved, for accessible endofunctors $F$ of {\bf Set}, the dual Birk\-hoff's Variety Theorem: a collection of $F$-coalgebras is presentable by coequations ($=$ subobjects of cofree coalgebras) iff it is closed under quotients, subcoalgebras, and coproducts. This result is now proved to hold for all endofunctors $F$ of {\bf Set} provided that coequations are generalized to mean subchains of the cofree-coalgebra chain. For the concept of coequation introduced by H. Porst and the author, which is a subobject of a member of the cofree-coalgebra chain, the analogous result is false, in general. This answers negatively the open problem of A. Kurz and J. Rosick'y whether every covariety can be presented by equations w.r.t. co-operations. In contrast, in the category of classes Birkhoff's Covariety Theorem is proved to hold for all endofunctors (using Rutten's original concept of coequations).
J. Rutten proved, for accessible endofunctors $F$ of {\bf Set}, the dual Birk\-hoff's Variety Theorem: a collection of $F$-coalgebras is presentable by coequations ($=$ subobjects of cofree coalgebras) iff it is closed under quotients, subcoalgebras, and coproducts. This result is now proved to hold for all endofunctors $F$ of {\bf Set} provided that coequations are generalized to mean subchains of the cofree-coalgebra chain. For the concept of coequation introduced by H. Porst and the author, which is a subobject of a member of the cofree-coalgebra chain, the analogous result is false, in general. This answers negatively the open problem of A. Kurz and J. Rosick'y whether every covariety can be presented by equations w.r.t. co-operations. In contrast, in the category of classes Birkhoff's Covariety Theorem is proved to hold for all endofunctors (using Rutten's original concept of coequations).
@article{CMUC_2005_46_2_a0,
author = {Ad\'amek, Ji\v{r}{\'\i}},
title = {Birkhoff's {Covariety} {Theorem} without limitations},
journal = {Commentationes Mathematicae Universitatis Carolinae},
pages = {197--215},
year = {2005},
volume = {46},
number = {2},
mrnumber = {2176888},
zbl = {1121.18003},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CMUC_2005_46_2_a0/}
}
Adámek, Jiří. Birkhoff's Covariety Theorem without limitations. Commentationes Mathematicae Universitatis Carolinae, Tome 46 (2005) no. 2, pp. 197-215. http://geodesic.mathdoc.fr/item/CMUC_2005_46_2_a0/