Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-26T01:08:14.269Z Has data issue: false hasContentIssue false

Characterizations of MacNeille completions and topological functors

Published online by Cambridge University Press:  17 April 2009

Hans-E. Porst
Affiliation:
Fachsektion Mathematik, Universität Bremen, Bremen, Germany.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In this note we give external characterizations of absolutely topologicai functors U: A →X (where A may be a large category) as functors which are injective with respect to all functors based on the category X, or equivalently, which do not admit essential extensions over X. From this we deduce several characterizations and properties of the MacNeille completion of faithful functors. These results generalize the work of Horst Herriich [Math. Z. 150 (1976), 101–110] in case of small categories, where the crucial point of this generalization lies in the fact that we cannot make use of the existence of MacNeille completions and we therefore have to introduce a local-initial-completion-construction.

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1978

References

[1]Antoine, Philippe, ‘Étude élémentaire des catégories d'ensembles structurés” (Premiére partie), Bull. Soc. Math. Belg. 18 (1966), 142164.Google Scholar
[2]Antoine, Philippe, “Étude élémentaire des catégories d'ensembles structurés” (Deuxième partie), Bull. Soc. Math. Belg. 18 (1966), 387414Google Scholar
[3]Banaschewski, B. and Bruns, G., “Categorical characterization of the MacNeille completion”, Arch. Math. (Basel) 18 (1967), 369377.CrossRefGoogle Scholar
[4]Brümmer, G.C.L., “Topological functors and structure functors”, Categorieal topology, 109135 (Proceedings of the Conference held at Mannheim, 1975. Lecture Notes in Mathematics, 540. Springer-Verlag, Berlin, Heidelberg, New York, 1976).CrossRefGoogle Scholar
[5]Brümmer, G.C.L. and Hoffmann, R.-E., “An external characterization of topological functors”, Categorical topology, 136151 (Proceedings of the Conference held at Mannheim, 1975. Lecture Notes in Mathematics, 540. Springer-Verlag, Berlin, Heidelberg, New York, 1976).CrossRefGoogle Scholar
[6]Herrlich, Horst, “Topological functors”, General Topology and Appl. 4 (1974), 125142.CrossRefGoogle Scholar
[7]Herrlich, Horst, “Initial completions”, Math. Z. 150 (1976), 101110.CrossRefGoogle Scholar
[8]Herrlich, H. and Nel, L.D., “Cartesian closed topological hulls”, Proc. Amer. Math. Soc. 62 (1977), 215222.CrossRefGoogle Scholar
[9]Porst, Hans-E., “On the MacNeille completion of faithful functors”, Category theory meeting, Isle of Thorns, Sussex, England (Mimeographed Abstracts, 1976).Google Scholar