A Primer on Chainmails: Structures for Point-free Connectivity

J. F. Du Plessis, Zurab Janelidze, Bernardus A. Wessels

In point-free topology, one abstracts the poset of open subsets of a topological space, by replacing it with a frame (a complete lattice, where meet distributes over arbitrary join…