Geodesic
Birkhoff's Covariety Theorem without limitations
Commentationes Mathematicae Universitatis Carolinae, Tome 46 (2005) no. 2, pp. 197-215.

Voir la notice de l'article provenant de 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).
Classification : 18C10
Keywords: Birkhoff's Theorem; covariety; coequation 
@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},
     publisher = {mathdoc},
     volume = {46},
     number = {2},
     year = {2005},
     mrnumber = {2176888},
     zbl = {1121.18003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2005__46_2_a0/}
}
TY  - JOUR
AU  - Adámek, Jiří
TI  - Birkhoff's Covariety Theorem without limitations
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2005
SP  - 197
EP  - 215
VL  - 46
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_2005__46_2_a0/
LA  - en
ID  - CMUC_2005__46_2_a0
ER  - 
%0 Journal Article
%A Adámek, Jiří
%T Birkhoff's Covariety Theorem without limitations
%J Commentationes Mathematicae Universitatis Carolinae
%D 2005
%P 197-215
%V 46
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_2005__46_2_a0/
%G en
%F 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/