Topoi and Sets

Marco Larrea, University of Leeds. Part of the postgraduate logic seminar series.

I will start by explaining the definition of an elementary topos and give some examples. Afterwards I’ll give a very informal introduction to Lawvere’s Elementary Theory of the Category of Sets (ETCS) which is an alternative first-order axiomatisation of Sets based on the theory of topoi.

Marco Larrea, University of Leeds