A finite axiom scheme for approach frames

MaRDI QIDQ617783zbMATH OpenFDO

Authors Christophe Van Olmen, Stijn Verwulgen

Publication date 13 January 2011

Published in Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.bbms/1292334064

zbMATH Keywords

approach framesapproach spacesEilenberg-Moore algebra

Mathematics Subject Classification ID

Frames, locales (06D22) Categorical methods in general topology (54B30)

Review text

A finite axiom scheme (6 types of equations) is presented for approach frames, introduced in [\textit{B. Banaschewski, R. Lowen} and \textit{C. Van Olmen}, ``Sober approach spaces, Topology Appl. 153, No.~16, 3059--3070 (2006; Zbl 1114.54007)]. It is shown that the category of approach frames is monadic.

Recommendations

• Sober approach spaces
• Approach Spaces A Common Supercategory of TOP and MET
• Regularity in approach theory
• Approach theory
• Approach theory in merotopic, Cauchy and convergence spaces. I

Cited in

(5)

• Enriched Stone-type dualities
• Lower semi-continuous function frames
• A variety of co-quasivarieties
• On the axiomatization of finite K-frames
• Compact Hausdorff approach frames

This page was built for publication: A finite axiom scheme for approach frames

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