Cartesian closedness, extensionality and bornological universes (Q2014747): 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: Gap, excess and bornological convergence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3515820 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strong uniform continuity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniform continuity, uniform convergence, and shields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4076466 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3976461 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological improvements of categories of structured sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cartesian Closed Topological Hulls / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4132979 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boundedness in a topological space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bornological convergences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4402989 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some properties of bornological convergences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bornological and ultrabornological C(X;E) spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3976462 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniformizable and realcompact bornological universes / rank
 
Normal rank

Latest revision as of 14:47, 8 July 2024

scientific article
Language Label Description Also known as
English
Cartesian closedness, extensionality and bornological universes
scientific article

    Statements

    Cartesian closedness, extensionality and bornological universes (English)
    0 references
    0 references
    0 references
    16 June 2014
    0 references
    A topological space endowed with a bornology is called a \textit{bornological universe}. A closed bornological universe is a bornological universe where each bounded set is contained in a closed, bounded set. The category of all closed bornological universes and bounded continuous maps is a topological construct. Similarly, a bornological universe in which each bounded set is contained in an open, bounded set is called an open bornological universe but now the category of all open bornological universes and bounded continuous maps is not a topological construct. This paper provides a description of the cartesian closed topological hull, extensional topological hull and topological universe hull of both the category of closed and of open bornological universes. In the former case, the topological universe where the hulls are constructed is the supercategory \textbf{PsBorUniv} of all pseudobornological universes and bounded continuous maps, in which the category of closed bornological universes is fully embedded as a finally dense subcategory. In the latter case, the open bornological universes are not finally dense in the category of pseudobornological universes. Now the final hull of the category of open bornological universes is the full subcategory of \textbf{PsBorUniv} that contains all objects in which each convergent ultrafilter contains a bounded set. This is the topological universe where the hulls are constructed in the open case.
    0 references
    0 references
    bornological universe
    0 references
    open bornological universe
    0 references
    closed bornological universe
    0 references
    Cartesian closed topological hull
    0 references
    extensional topological hull
    0 references
    MacNeille completion
    0 references
    topological universe hull
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references