Sober approach spaces (Q2508928)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sober approach spaces |
scientific article |
Statements
Sober approach spaces (English)
0 references
20 October 2006
0 references
The authors study the notion of sobriety for approach spaces. They observe that the space of regular functions of an approach space is not only a frame, but that it is equipped with a supplementary structure, that is, the set of non-negative real numbers plus \(\infty\) acts naturally on the frame of regular functions. Based on this observation the authors introduce the notion of approach frames and establish an adjunction between the category of approach spaces and the opposite category of approach frames. An approach space is called sober if the corresponding adjunction map is an isomorphism. After proving some basic properties of the adjunction between approach spaces and approach frames, the authors prove a surprising relation between sobriety and completeness and between sobrification and completion for uniform approach spaces.
0 references
approach space
0 references
approach frame
0 references
sober
0 references
spatial
0 references
Cauchy filter
0 references