Errol Yuksel: Points are overrated: An introduction to pointfree topology
Tid: Fr 2025-02-07 kl 15.15 - 16.15
Plats: Seminar room Kovalevsky
Medverkande: Errol Yuksel
Points of a space are a fundamental notion in topology, second only to the opens of that space. Usually, the latter are defined in terms of the former, but in a different strand of topology the situation is reversed and opens become first-class citizens in terms of which points are defined. In this talk, we leave the familiar world of topological spaces for a land free of points. We will see how one can work without points and what changes when one does so. Along the way, we highlight some of the upshots of going through the looking-glass, for instance, in relation to logic and topos theory.