{"id":"arxiv/2605.04038","url":"https://arxiv.org/abs/2605.04038","tags":["math.CT","math.LO"],"score":0,"title":"Localic Relations with Open Cones","domain":"math.CT","source":"arxiv","authors":["Nesta van der Schaaf"],"reviews":0,"subject":"math.CT","summary":"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 order theory. This work studies 'open cone' localic relations, whose source and target maps are open, and provides a frame-theoretic description via point-free up and down closure operators, called 'cones'. The cones arising from open cone localic relations form join-preserving and 'parallel' pairs of maps on the underlying frame. Axiomatising this structure, a frame equipped with such a pair of cones is called a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-05","reactions":{}}