A "locale" is like a topological space without points, just "opens" instead of open sets. But they're not pointless. Tomorrow at the ACT@UCR seminar Gershom Bazerman will tell us how to use them to study event structures in computer science!https://johncarlosbaez.wordpress.com/2020/04/28/a-localic-approach-to-dependency-conflict-and-concurrency/ …
I wonder to what extent this personal falling out might've kept locales a bit on the sidelines vs other structures.