Testing Categories and Strong Universality
Canadian journal of mathematics, Tome 25 (1973) no. 2, pp. 370-385

Voir la notice de l'article provenant de la source Cambridge University Press

A category A is binding (or universal) if any full category of algebras is isomorphic to a full subcategory of A. There are many binding categories: the category of all commutative rings with unit and all unit-preserving homomorphisms [1], the category of bounded lattices [2], the category of semigroups [3], the category A(1, 1) of all algebras with two unary fundamental operations and the category of directed graphs [4], the category of all commutative groupoids [11] and many others.
Sichler, J. Testing Categories and Strong Universality. Canadian journal of mathematics, Tome 25 (1973) no. 2, pp. 370-385. doi: 10.4153/CJM-1973-038-3
@article{10_4153_CJM_1973_038_3,
     author = {Sichler, J.},
     title = {Testing {Categories} and {Strong} {Universality}},
     journal = {Canadian journal of mathematics},
     pages = {370--385},
     year = {1973},
     volume = {25},
     number = {2},
     doi = {10.4153/CJM-1973-038-3},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1973-038-3/}
}
TY  - JOUR
AU  - Sichler, J.
TI  - Testing Categories and Strong Universality
JO  - Canadian journal of mathematics
PY  - 1973
SP  - 370
EP  - 385
VL  - 25
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1973-038-3/
DO  - 10.4153/CJM-1973-038-3
ID  - 10_4153_CJM_1973_038_3
ER  - 
%0 Journal Article
%A Sichler, J.
%T Testing Categories and Strong Universality
%J Canadian journal of mathematics
%D 1973
%P 370-385
%V 25
%N 2
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1973-038-3/
%R 10.4153/CJM-1973-038-3
%F 10_4153_CJM_1973_038_3

[1] 1. Fried, E. and Sichler, J., Homomorphisms of commutative rings with unit element (to appear). Google Scholar

[2] 2. Grätzer, G. and Sichler, J., On the endomorphism semigroup (and category) of bounded lattices, Pacific J. Math. 35 (1970), 639–647. Google Scholar

[3] 3. Hedrlin, Z. and Lambek, J., How comprehensive is the category of semigroups, J. Algebra 11 (1969), 195–212. Google Scholar

[4] 4. Hedrlin, Z. and Pultr, A., On full embeddings of categories of algebras, Illinois J. Math. 10 (1966), 392–406. Google Scholar

[5] 5. Hedrlin, Z. and Pultr, A., Relations (graphs) with given infinite semigroups, Monatsh. Math. 68 (1964), 421–425. Google Scholar

[6] 6. Hedrlin, Z. and Sichler, J., Any boundable binding category contains a proper class of mutually disjoint copies of itself, Algebra Universalis 1 (1971), 97–103. Google Scholar

[7] 7. Isbell, J. R., Algebras of uniformly continuous functions, Ann. of Math. 68 (1958), 96–125. Google Scholar

[8] 8. Pultr, A., Eine Bemerkung ilber voile Einbettungen von Kategorien von Algebren, Math. Ann. 178 (1968), 78–82. Google Scholar

[9] 9. Pultr, A., On full embeddings of concrete categories with respect to forgetful functors, Comment. Math. Univ. Carolinae 9 (1968), 281–304. Google Scholar

[10] 10. Sichler, J., . 4(1, 1) can be strongly embedded into the category of semigroups, Comment. Math. Univ. Carolinae 9 (1968), 257–262. Google Scholar

[11] 11. Sichler, J., The category of commutative groupoids is binding, Comment. Math. Univ. Carolinae 8 (1967), 753–755. Google Scholar

[12] 12. Sichler, J., Concerning minimal primitive classes of algebras containing any category of algebras as a full subcategory, Comment. Math. Univ. Carolinae 9 (1968), 627–635. Google Scholar

[13] 13. Trnková, V., Strong embedding of category of all groupoids into category of semigroups. Comment. Math. Univ. Carolinae 9 (1968), 251–256. Google Scholar

[14] 14. Vopěnka, P., Pultr, A., and Hedrlin, Z., A rigid relation exists on any set, Comment. Math. Univ. Carolinae 6 (1965), 149–155. Google Scholar

Cité par Sources :