Abstract
Let K be a complete and cocomplete category with a given proper (E,M)-factorization. K is called well-bounded if K is moreover bounded with a generator and cowellpowered with respect to the given factorization. Freyd-Kelly proved the following theorem about well-bounded categories: Let K be a well-bounded category and let Γ be a class of cylinders in the small category C1, and let all but a set of these cylinders be cones. Then Γ(C,K) is a reflective subcategory of [C,K]. The main results of this paper are: (I) If F: K→L is a Top-functor and L is well-bounded, then K is well-bounded. (II) If U is an E-reflective subcategory of a well-bounded category,then U is again wellbounded. As a corollary one obtains for instance that all coreflective and all epireflective subcategories of the category of topological spaces are well-bounded.
Similar content being viewed by others
References
BARR,M.: Factorizations, generators and rank.Privately circulated manuscript. (1971)
BASTIANI,A., EHRESMANN,C.: Categories of sketched structures. Cahier Topo. Geo. diff.XIII, 2, 105–214, (1972)
ERTEL,H.G., SCHUBERT,H.: Universelle topologische Algebra. Preprint, April 1972.
FREYD,P.J., KELLY,G.M.: Categories of continuous functors. J. Pure Appl. Algebra2, 169–191, (1972).
GABRIEL,P., ULMER,F.: Lokal präsentierbare Kategorien. Lecture note in Mathematics,221, Springer, Berlin, Heidelberg, New York, 1971.
HERRLICH, H.: Regular Categories and Regular Functors. (1972). to appear in Can. J. Math.
“: Topological functors, Preprint, Bremen 1973.
HOFFMANN, R.E.: Die kategorielle Auffassung der Initial-u. Finaltopologie. Dissertation, Bochum 1972.
ISBELL,J.: Subobjects, adequacy, completeness and categories of algebras. Rozprawy Math.36, 1–32 (1964).
KELLY, G.M., STREET, R.: Abstracts of the Sydney category seminar 1972. The University of New South Wales, Australia 1972.
MAC LANE,S.: Categories for the working mathematician. Springer, Berlin, Heidelberg, New York, 1972.
PAREIGIS,B.: Kategorien und Funktoren. Teubner, Stuttgart, 1969.
PUMPLÜN, D., RÖHRL, H.: Kategorien. to appear.
PUMPLÜN, D., THOLEN, W.: Covollständigkeit vollständiger Kategorien. Manuscripta math.11, 127–140 (1974).
THOLEN,W.: Relative Bildzerlegungen. Preprint. Münster. (1973).
WISCHNEWSKY, M.B.: Sheaves with values in initialstructurecategories. Preprint. München (1972).
“: Partielle Algebren in Initialkategorien. Math. Z.,127, 83–91, (1972).
“: Coalgebras in reflective and coreflective subcategories. to appear in Algebra Universalis.
“: Initialkategorien. Dissertation, München 1972.
“: Generalized Universal Algebra in Initialstructure-Categories. Algebra-Berichte10, 1–35, Uni-Druck, München (1973).
“: Aspects of categorical algebra in initialstructure categories, to appear in Cahier Topo. Geo. diff.
“: On topological regular algebras over arbitrary base categories. Algebra Berichte16, 1–36, Uni-Druck München (1973).
WYLER,O.: On the categories of general topology and topological algebra. Arch. d. Math.,22/1, 7–17,(1971)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wischnewsky, M.B. On the boundedness of topological categories. Manuscripta Math 12, 205–215 (1974). https://doi.org/10.1007/BF01155514
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01155514