David Michael Roberts : Class forcing and topos theory

These are notes for this talk delivered at IHES in November 2015, titled "Class forcing and topos theory" :

Class forcing and topos theory, by David Roberts (2018) 

https://figshare.com/articles/Class_forcing_and_topos_theory/6530843