Charles Rezk - 4/4 Higher Topos Theory
Channel: Institut des Hautes Études Scientifiques (IHÉS)
Date: 2021-07-01

Course at the school and conference “Toposes online” (24-30 June 2021):
https://aroundtoposes.com/toposesonline/

Slides:
https://aroundtoposes.com/wp-content/uploads/2021/07/RezkNotesToposesOnlinePart4.pdf

In this series of lectures I will give an introduction to the concept of "infinity topoi", which is an analog of the notion of a "Grothendieck topos" which is not an ordinary category, but rather is an "infinity category". 
No prior knowledge of higher category theory will be assumed.