VideoArxiv
Home
Workshops
Speakers
Talk page
Title:
2/4 ntroduction to categorical logic, classifying toposes...
Speaker:
Olivia Caramello
Link:
https://www.youtube.com/watch?v=P5Mx7fwYVws