Function spaces and one point extensions for the construct of metered spaces (Q2508933): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Eva Lowen-Colebunders / rank | |||
Property / author | |||
Property / author: Gert Sonck / rank | |||
Property / reviewed by | |||
Property / reviewed by: Hans-Peter A. Künzi / rank | |||
Property / author | |||
Property / author: Eva Lowen-Colebunders / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Gert Sonck / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Hans-Peter A. Künzi / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2005.01.039 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2112624253 / rank | |||
Normal rank | |||
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