Post #4496391

Will do, @PetraSchwer@mathstodon.xyz! There are a few. Just this week I was quite surprised to see a philosopher friend keep asking about topos theory, because they wanted to understand how to get countable reals! That was fun. I'll have to get them read some nice intro. Of course, for leymen it has to be extra leisurely, so I expect to lend a hand.