A finite axiom scheme for approach frames (Q617783)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A finite axiom scheme for approach frames |
scientific article |
Statements
A finite axiom scheme for approach frames (English)
0 references
13 January 2011
0 references
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.
0 references
approach frames
0 references
approach spaces
0 references
Eilenberg-Moore algebra
0 references
