scientific article; zbMATH DE number 19035

MaRDI QIDQ3976461zbMATH OpenFDO

Authors

Publication date 26 June 1992

zbMATH Keywords

bireflective subcategoryCartesian closedcategorical topologyextensionalpretopological spacespseudotopological spacestopological constructstopological hull

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30)

Review text

[For the entire collection see Zbl 0732.00006.] One of the most important properties of the category Top of all topological spaces are continuous maps is that it satisfies the initial condition and is well-fibred. A category of structured sets and structure-compatible maps satisfying these conditions is called a topological construct. Top does not possess, however, other desirable properties such as extensionality and Cartesian closedness. In this paper, the authors give methods of improving Top by its nice enlargements. Thus the categories PrTop of pretopological spaces and PsTop of pseudotopological spaces are constructed and the following properties are shown. (1) They are topological constructs. (2) Top is a bireflective subcategory of PrTop and PrTop is a bireflective subcategory of PsTop. (3) The embeddings in (2) are finally dense. (4) PrTop and PsTop are extensional. (5) PsTop is Cartesian closed. In other words, PrTop is an extensional topological hull of Top and PsTop is an extensional and Cartesian closed topological hull of Top. Though many results refer to other papers, the presentation of this paper is self- contained, except for proofs of theoretical background material on categorical topology, and is very clear.

Recommendations

• scientific article; zbMATH DE number 4143003
• On the largest coreflective Cartesian closed subconstruct of Prtop
• Topological improvements of categories of structured sets
• Exponentiable streams and prestreams

Cited in

(25)

• HasCasl: integrated higher-order specification and program development
• Sequential convergence via Galois correspondences
• Exponential objects and Cartesian closedness in the construct \textit{Prtop}
• Effective descent maps of topological spaces
• On the reflectivity and coreflectivity of \(L\)-fuzzyfying topological spaces in \(L\)-topological spaces.
• Coreflectively modified duality
• Classes of pretopological spaces closed under the formation of final structures
• Exponentiable streams and prestreams
• Cartesian closedness, extensionality and bornological universes
• When is a category of adherence-determined convergences simple?
• Internal neighbourhood structures
• On generalized equilogical spaces
• Exponentiation for unitary structures
• Injective convergence spaces and equilogical spaces via pretopological spaces
• scientific article; zbMATH DE number 4143003 (Why is no real title available?)
• Approaching metric domains
• scientific article; zbMATH DE number 19034 (Why is no real title available?)
• scientific article; zbMATH DE number 165320 (Why is no real title available?)
• scientific article; zbMATH DE number 614405 (Why is no real title available?)
• scientific article; zbMATH DE number 2061576 (Why is no real title available?)
• Topologies and free constructions
• A characterisation of the category of compact Hausdorff spaces
• Categorical topology
• An algebraic description of regular epimorphisms in topology
• Synthetic approach to the Quillen model structure on topological spaces

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3976461)