Showing 1–1 of 1 results for author: Moshier, A

Stone Duality for Relations

Authors: Alexander Kurz, Andrew Moshier, Achim Jung

Abstract: We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving function from the opposite of A times B to the 2-element chain and as a subobject of A times B. We show that dual adjunctions and equivalences between regular categories, taken in a suitably order enriched sense, extend to (fra… ▽ More We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving function from the opposite of A times B to the 2-element chain and as a subobject of A times B. We show that dual adjunctions and equivalences between regular categories, taken in a suitably order enriched sense, extend to (framed bi)categories of relations. △ Less

Submitted 6 July, 2021; v1 submitted 18 December, 2019; originally announced December 2019.