Martin Escardo on Nostr: I like these four one-hour lectures on higher topos theory by Charles Resk. ...
I like these four one-hour lectures on higher topos theory by Charles Resk.
https://www.youtube.com/watch?v=f3bdYrxTa1E
Although homotopy *type* theory is not the focus, it features two or three times. In particular, explaining that univalent universes (a concept of HoTT/UF) correspond to universal fibrations (from homotopy theory generalized to higher toposes).
It is not possible to learn about higher toposes in four hours.
However, he does a great job explaining the motivations and how the theory "works" without necessarily committing himself to explaining every detail of the definitions and the statements of theorems and their proofs.
If you want a high level introduction to the subject, I recommend his lectures.
But you will need to know a few things in advance to make sense of this, for example simplicial sets and the good old non-higher toposes of Grothendieck.
https://www.youtube.com/watch?v=f3bdYrxTa1E
Although homotopy *type* theory is not the focus, it features two or three times. In particular, explaining that univalent universes (a concept of HoTT/UF) correspond to universal fibrations (from homotopy theory generalized to higher toposes).
It is not possible to learn about higher toposes in four hours.
However, he does a great job explaining the motivations and how the theory "works" without necessarily committing himself to explaining every detail of the definitions and the statements of theorems and their proofs.
If you want a high level introduction to the subject, I recommend his lectures.
But you will need to know a few things in advance to make sense of this, for example simplicial sets and the good old non-higher toposes of Grothendieck.