×

Universal concrete categories and functors. (English) Zbl 0797.18003

A universal category, i.e., one into which every category can be fully embedded, was constructed by the author almost 30 years ago [Commentat. Math. Univ. Carol. 7, 143-206 (1966; Zbl 0163.015)]. In the present paper a universal functor \(F: K\to K\) is constructed which means that for each functor \(G: K_ 1\to K_ 2\) there exist full embeddings \(U_ i: K_ i\to K\) with \(U_ 2\circ G= F\circ U_ 1\). A surprising result is that \(K\) can be chosen as a quotient of the category of topological semigroups.
Reviewer: J.Adámek (Praha)

MSC:

18B15 Embedding theorems, universal categories
18A22 Special properties of functors (faithful, full, etc.)
18B30 Categories of topological spaces and continuous mappings (MSC2010)

Citations:

Zbl 0163.015
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] 1 J. Adámek , H. Herrlich , G. Strecker , Abstract and Concrete Categories, A Wiley - hiterscience Publication , Jolm Wiley & Sons, Inc. New York Chichester Brisbane Toronto Singapore , 1990 . MR 1051419 | Zbl 0695.18001 · Zbl 0695.18001
[2] 2 M.E. Adams , H.A. Priestley , De Morgan algebras are universal , Discrete Math. 66 ( 1987 ) 1 - 13 . MR 900924 | Zbl 0618.06006 · Zbl 0618.06006 · doi:10.1016/0012-365X(87)90113-0
[3] 3 V. Dlab , B.H. Neumann , Semigroups with few endomorphisms , J. of the Australian Math. Soc. 10 ( 1969 ) 162 - 168 . MR 245706 | Zbl 0181.03203 · Zbl 0181.03203 · doi:10.1017/S1446788700006996
[4] 4 E. Fried , J. Sichler , Homomorphisms of integral domains of characteristic zero , Trans. Amer. Math. Soc. 225 ( 1977 ) 163 - 182 . MR 422382 | Zbl 0362.18006 · Zbl 0362.18006 · doi:10.2307/1997499
[5] 5 P. Goralčík V. Koubek , J. Sichler , Universal varieties of (0,1)-lattices , Canad. J. Math. 42 ( 1990 ) 470 - 490 . MR 1062740 | Zbl 0709.18003 · Zbl 0709.18003 · doi:10.4153/CJM-1990-024-0
[6] 6 Z. Hedrlín , Extension of structures and full embeddings of categories , Actes du Congrès Internat. des Mathematiciens 1970 , tome 1 , Paris 1971 , 319 - 322 . MR 419554 | Zbl 0257.18013 · Zbl 0257.18013
[7] 7 J.R. Isbell , Two set-theoretical theorems in categories , Fund. Math. 53 ( 1963 ) 43 - 49 . Article | MR 156884 | Zbl 0114.01302 · Zbl 0114.01302
[8] 8 V. Koubek , Each concrete category has a representation by T2-paracompact topological spaces , Comment. Math. Univ. Carolinae 15 ( 1974 ) 655 - 663 . Article | MR 354806 | Zbl 0291.54019 · Zbl 0291.54019
[9] 9 V. Koubek , J. Sichler , Universal varieties of semigroups , J. Austral. Math. Soc. Ser. A 36 ( 1984 ) 143 - 152 . MR 725742 | Zbl 0549.20038 · Zbl 0549.20038
[10] 10 V. Koubek , J. Sichler , Universal varieties of distributive double p-algebras , Glasgow Math. J. 26 ( 1985 ) 121 - 131 . MR 798738 | Zbl 0574.06009 · Zbl 0574.06009 · doi:10.1017/S0017089500005887
[11] 11 L. Kučera , Every category is a factorization of a concrete one , J. Pure Appl. Alg. 1 ( 1971 ) 373 - 376 . MR 299548 | Zbl 0259.18003 · Zbl 0259.18003 · doi:10.1016/0022-4049(71)90004-1
[12] 12 J. Sichler , Testing categories and strong universality , Canad. J. Math. 25 ( 1973 ) 370 - 385 . MR 318258 | Zbl 0265.18006 · Zbl 0265.18006 · doi:10.4153/CJM-1973-038-3
[13] 13 A. Pultr , V. Trnková , Combinatorial, Algebraic and Topological Representations of Groups, Semigroups and Categories , North Holland , Amsterdam 1980 . MR 563525 | Zbl 0418.18004 · Zbl 0418.18004
[14] 14 V. , Trnková Universal categories , Comment. Math. Univ. Carolinae 7 ( 1966 ) 143 - 206 . Article | MR 202808 | Zbl 0163.01501 · Zbl 0163.01501
[15] 15 V. Trnková , Universalities , to appear. Zbl 0799.18003 · Zbl 0799.18003 · doi:10.1007/BF00873298
[16] 16 V. , Trnková J. Reiterman , The categories of presheaves containing any category of algebras , Dissertationes Mathematicae 124 ( 1975 ) 1 - 58 . MR 379622 | Zbl 0321.18001 · Zbl 0321.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.