riccardobrasca

3 ms·

1. 1.▲
   by riccardobrasca 3y ago

   We don't have any topos theory, that's right. But all the prerequisites are there. If you're interested in working on it I strongly suggest to ask on Zulip.
2. 2.▲
   by riccardobrasca 6y ago

   https://threader.app/thread/1252581933835575297 This is a super interesting point of view.
3. 3.▲
   by riccardobrasca 6y ago

   This is very nice!