Class forcing and topos theory David Roberts 10.4225/55/5b2252e3092af https://adelaide.figshare.com/articles/journal_contribution/Class_forcing_and_topos_theory/6530843 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 2018-06-15 07:04:48 topos theory category theory forcing set theory Mathematical Logic, Set Theory, Lattices and Universal Algebra Category Theory, K Theory, Homological Algebra