Class forcing and topos theory RobertsDavid 2018 These are notes for a talk delivered at IHES in November 2015, titled "Class forcing and topos theory", video at https://www.youtube.com/watch?v=4AaSySq8-GQ