Talk page

Title:
Every Elementary Higher Topos has a Natural Number Object

Speaker:
Nima Rasekh

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