Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness

G Bezhanishvili, F Dashiell Jr, A Moshier… - arxiv preprint arxiv …, 2024 - arxiv.org
Completions play an important r\^ ole for studying structure by supplying elements that in
some sense``ought to be." Among these, the Dedekind-MacNeille completion is of particular …

[HTML][HTML] Frobenius identities and geometrical aspects of Joyal-Tierney Theorem

J Picado, A Pultr - Topology and its Applications, 2024 - Elsevier
Open and related maps in the point-free context are studied from a consequently geometric
perspective: that is, the opens are concrete well-defined subsets, images of localic maps are …