Abstract
The paper introduces some mild requirements under which a Kan extension is a full embedding that preserves factorization systems and colimits of α-directed diagrams. The existence of such Kan extensions is then used to establish conditions equivalent to algebraic universality of concrete categories such as varieties of algebras of any given similarity type.
Similar content being viewed by others
References
Adámek, J., Koubek, V. and Pohlová, V.: Colimits in the generalized algebraic categories, Acta Univ. Carolin. - Math. et Phys. 13 (1972), 311–324.
Adámek, J. and Rosický, J.: Locally Presentable and Accessible Categories, London Math. Soc. Lecture Note Ser. 189, Cambridge University Press, Cambridge, 1994.
Fried, E. and Sichler, J.: Homomorphisms of integral domains of characteristic zero, Trans. Amer. Math. Soc. 225 (1977), 163–182.
Goralčík, P., Koubek, V. and Sichler, J.: Universal varieties of (0; 1)-lattices, Canad. J. Math. 42 (1990), 470–490.
Isbell, J. R.: Adequate subcategories, Illinois J. Math. 4 (1960), 541–552.
Koubek, V.: Set functors, Comment. Math. Univ. Carolin. 12 (1971), 175–195.
Koubek, V.: Graphs with given subgraphs represent all categories, Comment. Math. Univ. Carolin. 18 (1977), 115–127.
Koubek, V.: Homomorphisms of (0; 1)-lattices with a given sublattice and quotient, Glasgow Math. J. 33 (1991), 159–170.
Mendelsohn, E.: On a technique for representing semigroups as endomorphism semigroups of graphs with given properties, Semigroup Forum 4 (1972), 283–294.
Pultr, A.: On full embedding of concrete categories with respect to forgetful functors, Comment. Math. Univ. Carolin. 9 (1968), 281–305.
Pultr, A. and Trnková, V.: Strong embeddings into categories of algebras, Illinois J. Math. 16 (1972), 183–195.
Pultr, A. and Trnková, V.: Combinatorial, Algebraic and Topological Representations of Groups, Semigroups and Categories, North-Holland, Amsterdam, 1980.
Reiterman, J.: Concrete full embeddings into categories of algebras and coalgebras, J. Pure Appl. Algebra 92 (1994), 173–184.
Rosický, J.: Codensity and binding categories, Comment. Math. Univ. Carolin. 16 (1975), 515–529.
Sichler, J.: A(1; 1) can be strongly embedded into the category of semigroups, Comment. Math. Univ. Carolin. 9 (1968), 257–262.
Sichler, J.: One-to-one and onto homomorphisms of bounded lattices, Algebra Universalis 1 (1971), 267.
Sichler, J.: Testing categories and strong universality, Canad. J. Math. 25 (1973), 370–385.
Trnková, V.: Strong embedding of the category of all groupoids into the category of semigroups, Comment. Math. Univ. Carolin. 9 (1968), 251–256.
Trnková, V.: Some properties of set functors, Comment. Math. Univ. Carolin. 10 (1969), 323–352.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Koubek, V., Sichler, J. On Full and Faithful Kan Extensions. Applied Categorical Structures 6, 291–332 (1998). https://doi.org/10.1023/A:1008681922458
Issue Date:
DOI: https://doi.org/10.1023/A:1008681922458