Strictly zero-dimensional biframes and a characterisation of congruence frames
Abstract
Strictly zero-dimensional biframes were introduced by Banaschewski and Brümmer as a class of strongly zero-dimensional biframes including the congruence biframes. We consider the category of strictly zero-dimensional biframes and show it is both complete and cocomplete. We characterise the extremal monomorphisms in this category and explore the special position that congruence biframes hold in it. Finally, we provide an internal characterisation of congruence biframes, and hence, of congruence frames.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2017
- DOI:
- 10.48550/arXiv.1710.10894
- arXiv:
- arXiv:1710.10894
- Bibcode:
- 2017arXiv171010894M
- Keywords:
-
- Mathematics - General Topology;
- 06D22;
- 06B10;
- 54E55;
- 54F65;
- 18B30
- E-Print:
- 11 pages, 0 figures. To be published in Applied Categorical Structures