Function spaces and one point extensions for the construct of metered spaces (Q2508933): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cartesian closed hull of the category of uniform spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Realization of Cartesian closed topological hulls / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metrically generated theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040131 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4281187 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cartesian Closed Topological Hulls / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4340906 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4039819 / rank | |||
Normal rank |
Latest revision as of 21:58, 24 June 2024
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