Talk page

Title:
1/4 Introduction to categorical logic, classifying toposes...

Speaker:
Olivia Caramello

Link:
https://www.youtube.com/watch?v=KtNlItQOE9E