%0 Journal Article %A Roberts, David %D 2018 %T Class forcing and topos theory %U https://adelaide.figshare.com/articles/journal_contribution/Class_forcing_and_topos_theory/6530843 %R 10.4225/55/5b2252e3092af %2 https://ndownloader.figshare.com/files/12014060 %K topos theory %K category theory %K forcing %K set theory %K Mathematical Logic, Set Theory, Lattices and Universal Algebra %K Category Theory, K Theory, Homological Algebra %X 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 %I The University of Adelaide