Localic Relations with Open Cones

Nesta van der Schaaf

Localic relations are relations internal to the category of locales, forming the point-free analogues of set-theoretic relations, and providing the general backdrop of localic orde…