Relating toposes and first-order set theories

Alex Simpson

I shall discuss ongoing work with Steve Awodey, Carsten Butz and  Thomas Streicher
addressing the question: to what extent can an arbitrary elementary topos be considered
as a category of sets?