Abstract
For every concerete category (A,U) over a complete base category X, Ch. Ehresmann has constructed a concrete completion. The objects of his completion are obtained by a transfinite process. J Adámek and V. Koubek have been able to obtain the objects of such a completion in one step, but still need a transfinite process to obtain the morphisms. In this paper a one-step-construction for such a completion is provided. The latter two completions are characterized by the obvious universal property, hence equivalent. The first completion is different.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Adémek, H. Herrlich, G.E. Strecker, Least and largest initial competions. Comment. Math. Univ. Carolinae 20(1979), 43–77.
J. Adámek, V. Koubek, Completions of concrete categories. Preprint.
J. Adámek, V. Koubek, Cartesian closed concrete categories. Preprint.
Ch. Ehresmann, Prolongments universels d'un functeur par adjunction de limites. Dissertationes Math. 64 (1969).
H. Herrlich, Initial and final completions (Proc. Int. Conf. Cat. Top. Berlin 1978), Lecture Notes Math. 719 (1979) 137–149.
H. Herrlich, G.E. Strecker, Category Theory, 2 ed. Heldermann Verlag Berlin 1979.
J.R. Isbell, Small subcategories and completeness. Math. Syst. Theory 2 (1968), 27–50.
J. Lambek, Completions of categories, Lecture Notes Math. 24 (1966)
V. Trnková, Limits in categories and limit-preserving functors. Comment. Math. Univ. Carolinae 7 (1966) 1–73. *** DIRECT SUPPORT *** A00J4389 00005
Editor information
Rights and permissions
Copyright information
© 1982 Springer-Verlag
About this paper
Cite this paper
Herrlich, H. (1982). Universal completions of concrete categories. In: Banaschewski, B. (eds) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol 915. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0092876
Download citation
DOI: https://doi.org/10.1007/BFb0092876
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11211-2
Online ISBN: 978-3-540-39041-1
eBook Packages: Springer Book Archive