Abstract | ||
---|---|---|
We give a constructive characterization of morphisms between open sublocales of localic completions of locally compact metric (LCM) spaces, in terms of continuous functions. The category of open subspaces of LCM spaces is thereby shown to embed fully faithfully into the category of locales (or formal topologies). |
Year | DOI | Venue |
---|---|---|
2010 | 10.4115/jla.2010.2.1 | JOURNAL OF LOGIC AND ANALYSIS |
Keywords | Field | DocType |
Locales, formal topologies, locally compact metric spaces | Continuous function,Discrete mathematics,Locally compact space,Algebra,Mathematical analysis,Constructive,Linear subspace,Network topology,Mathematics,Morphism,Mathematical logic | Journal |
Volume | ISSN | Citations |
2 | 1759-9008 | 2 |
PageRank | References | Authors |
0.39 | 1 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Erik Palmgren | 1 | 233 | 43.17 |