Function spaces and one point extensions for the construct of metered spaces
The construct \({\mathbf M}\) of metered spaces and contractions is a superconstruct in which all metrically generated constructs can be fully embedded (compare \textit{E. Colebunders} and \textit{R. Lowen} [Proc. Am. Math. Soc. 133, No. 5, 1547--1556 (2005; Zbl 1073.54006)]). In the present article it is proved that \({\mathbf M}\) has one point extensions and that quotients in \({\mathbf M}\) are productive. However \({\mathbf M}\) is not Cartesian closed. The authors construct a Cartesian closed topological extension of \({\mathbf M}\) and present a characterization of the canonical function spaces with underlying sets \(\Hom(X,Y)\) for metered spaces \(X\) and \(Y\). They also characterize the objects in the Cartesian closed topological hull of \({\mathbf M}\) internally.
- Function Spaces of Completely Metrizable Spaces
- On one-point metrizable extensions of locally compact metrizable spaces
- scientific article; zbMATH DE number 3191535
- Metrization of multifunction spaces
- Function spaces jointly metrizable on compacta
- Metrizable compacta in the space of continuous functions with the topology of pointwise convergence
- Function valued metric spaces
- Metric spaces of semicontinuous functions
- Extension of continuous functions and metrizability of paracompact p- spaces
- Certain function spaces related to the metaplectic representation
- Cartesian closed hull of the category of uniform spaces
- Cartesian Closed Topological Hulls
- scientific article; zbMATH DE number 192933 (Why is no real title available?)
- scientific article; zbMATH DE number 193292 (Why is no real title available?)
- scientific article; zbMATH DE number 510716 (Why is no real title available?)
- scientific article; zbMATH DE number 1021635 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- Metrically generated theories
- Realization of Cartesian closed topological hulls
This page was built for publication: Function spaces and one point extensions for the construct of metered spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2508933)