Seminar: Locatedness for formal topologies

Wednesday October 15, 16:30 - Room 1A150 - Tatsuji Kawai


On Wednesday October 15, at 16:30, room 1A150, Tatsuji Kawai, who is visiting our department from JAIST (Kanazawa, Japan), will give a seminar on: "Locatedness for formal topologies"

The notion of located subset is a fundamental property of metric spaces in constructive mathematics. In this talk, we extends
locatedness to the class of locally compact formal topologies. We give several characterisations of located subtopologies: overt closed subtopologies, characteristic maps to Sierpinski space, points of continuous lattices, and Dedekind cut like objects.