Convergence without points

Jean Goubault-Larrecq, Frédéric Mynard

We introduce a pointfree theory of convergence on lattices and coframes. A convergence lattice is a lattice $L$ with a monotonic map ${\lim }_L$ from the lattice of filters on $L$ to…