Post #2481107
2025-11-07 03:55 UTC
My Topos Institute Berkeley Seminar talk "Synthetic Mathematics, Logical Frameworks & Categorical Algebra" that I gave during my internship there this Summer is now up on YouTube! Check it out: https://youtu.be/MjkWT6GkISI
Replies (0)
No replies.