You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Matteo Capucci (he/him) (Oct 05 2020 at 08:05):Terry Tao just published a new blog post on his current work on foundations of ergodic theory. He's reworking them in order to apply ergodic methods in a more general setting than usual.
For us, the interesting thing is that his approach (at least to 'organize ideas') is very categorical, and explicitly so.
It's great to see how much clarity the functorial attitude can bring to a messy subject like that, where there's literally a forest of definitions and shades of definitions, but everything is linked by meaningful functors or even adjunctions.
The post is here:
Nikolaj Kuntner (Oct 05 2020 at 13:52):Bildschirmfoto-2020-10-05-um-15.51.40.png
My first thought is
"Did Urs Schreiber become a ghost writer for Tao?"
