Sober approach spaces

DOI10.1016/J.TOPOL.2006.05.003MaRDI QIDQ2508928zbMATH OpenOpenAlexFDO

Authors Christophe Van Olmen, Bernhard Banaschewski, Robert Lowen

Publication date 20 October 2006

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2006.05.003

zbMATH Keywords

approach frameapproach spaceCauchy filtersoberspatial

Mathematics Subject Classification ID

Frames, locales (06D22) Categorical methods in general topology (54B30) Complete metric spaces (54E50)

Review text

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.

Recommendations

• Sober metric approach spaces
• Constructing the sobrification of an approach space via bicompletion
• Sober approach spaces are firmly reflective for the class of epimorphic embeddings
• On almost sober spaces
• Sobriety in terms of nets

Cites work

• A unified functional look at completion in MET, UNIF and AP
• Approach Spaces A Common Supercategory of TOP and MET
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 510331 (Why is no real title available?)
• scientific article; zbMATH DE number 1021635 (Why is no real title available?)
• scientific article; zbMATH DE number 2156379 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)

Cited in

(22)

• Sobriety in terms of nets
• Enriched Stone-type dualities
• Sober metric approach spaces
• The enriched Vietoris monad on representable spaces
• Frames of continuous functions
• Affine sets: the structure of complete objects and duality
• Regularity in approach theory
• Zariski closure, completeness and compactness
• Lower semi-continuous function frames
• Approaching metric domains
• scientific article; zbMATH DE number 1770055 (Why is no real title available?)
• Convergence and quantale-enriched categories
• Towards Stone duality for topological theories
• scientific article; zbMATH DE number 7646807 (Why is no real title available?)
• On some results related to sober spaces
• A finite axiom scheme for approach frames
• Continuous \([0,1]\)-lattices and injective \([0,1]\)-approach spaces
• A variety of co-quasivarieties
• Many for the price of one duality principle for affine sets
• Compact Hausdorff approach frames
• Constructing the sobrification of an approach space via bicompletion
• Spaces modelled by an algebra on \([0,\infty ]\) and their complete objects

This page was built for publication: Sober approach spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2508928)