Function spaces and one point extensions for the construct of metered spaces (Q2508933)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Function spaces and one point extensions for the construct of metered spaces |
scientific article |
Statements
Function spaces and one point extensions for the construct of metered spaces (English)
0 references
20 October 2006
0 references
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.
0 references
topological construct
0 references
function space
0 references
cartesian closedness
0 references
one point extension
0 references
extensionality
0 references