Maybe start with some domain theory and Stone duality? Depends on why it seems interesting. Steve Vickers’s “Topology via Logic” can serve as a plan for that.
Maybe start with some domain theory and Stone duality? Depends on why it seems interesting. Steve Vickers’s “Topology via Logic” can serve as a plan for that.