Charles Explorer logo
🇬🇧

New Aspects of Subfitness in Frames and Spaces

Publication at Faculty of Mathematics and Physics |
2016

Abstract

This paper contains some new facts about subfitness and weak subfitness. In the case of spaces, subfitness is compared with the axiom of symmetry, and certain seeming discrepancies are explained.

Further, Isbell's spatiality theorem in fact concerns a stronger form of spatiality (T (1)-spatiality) which is compared with the T (D) -spatiality. Then, a frame is shown to be subfit iff it contains no non-trivial replete sublocale, and the relation of repleteness and subfitness is also discussed in spaces.

Another necessary and sufficient condition for subfitness presented is the validity of the meet formula for the Heyting operation, which was so far known only under much stronger conditions.