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 was watching a talk by Cartier yesterday on schemes, where there was a mention of what was clearly a long-running split at the end that had taken place between Ehresmann and Chevalley, but I can't find much info about it online ( https://www.youtube.com/watch?v=etdvnswIhMw&t=1h14m20s … 1h14m20s).
-
-
I wonder to what extent this personal falling out might've kept locales a bit on the sidelines vs other structures.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.