TOPOLOGY IN A CATEGORY: COMPACTNESS

In a category with a subobject structure and a closure operator, we provide a categorical theory of compactness and perfectness which yields a number of classical results of general topology as special cases, including the product theorems by Tychonofi and Frol¶‡k, the existence of Stone{ • Cech compactiflcations, both for spaces and maps, and the Henriksen{Isbell characterization of perfect maps of Tychonofi spaces. Applications to other categories yield, among other things, an alternative proof for the productivity of categorically compact groups.

[1]  S. Mrówka.  Compactness and product spaces , 1959 .

[2]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[3]  J. Dieudonne,et al.  On the topological product of paracompact spaces , 1947 .

[4]  E. G. Manes.  Compact Hausdorff objects , 1974 .

[5]  Dikran Dikranjan,et al.  Categorically compact topological groups , 1998 .

[6]  P. T. Johnstone,et al.  Tychonoff's theorem without the axiom of choice , 1981 .

[7]  Epireflection operators vs perfect morphisms and closed classes of epimorphisms , 1972, Bulletin of the Australian Mathematical Society.

[8]  J.J.C. Vermeulen,et al.  Proper maps of locales , 1994 .

[9]  E. Giuli,et al.  Factorizations, injectivity and compactness in categories of modules , 1991 .

[10]  Eraldo Giuli.  Onm-separated projection spaces , 1994, Appl. Categorical Struct..

[11]  Walter Tholen,et al.  Categorical Structure of Closure Operators , 1995 .

[12]  Horst Herrlich,et al.  Factorizations, denseness, separation, and relatively compact objects , 1987 .

[13]  Orrin Frink,et al.  Bicompactness of cartesian products , 1941 .

[14]  Eraldo Giuli,et al.  Closure operators I , 1987 .

[15]  Tychonoff compactifications and R -completions of mappings and rings of continuous functions , 1996 .

[16]  J. Isbell,et al.  Some Properties of Compactifications , 1958 .

[17]  Walter Tholen,et al.  Facets of descent, I , 1994, Appl. Categorical Struct..

[18]  Casimir Kuratowski.  Evaluation de la classe borélienne ou projective d'un ensemble de points à l'aide des symboles logiques , 1931 .

[19]  J. E. Joseph.  On $H$-closed spaces , 1976 .

[20]  Horst Herrlich.  Compactness and the axiom of choice , 1996, Appl. Categorical Struct..

[21]  A. Pultr,et al.  NOTES ON KURATOWSKI-MRÓWKA THEOREMS IN POINT-FREE CONTEXT , 1992 .

[22]  G. M. Kelly,et al.  Categories of continuous functors, I , 1972 .

[23]  Walter Tholen,et al.  Tychonoff’s Theorem in a category , 1996 .

[24]  Walter Tholen,et al.  Factorizations, Localizations, and the Orthogonal Subcategory Problem , 1983 .

[25]  George E. Strecker,et al.  A factorization of the Pumplün-Röhrl connection , 1992 .