Large sets


Venue   Universidad Nacional Autónoma de México Category Theory Seminar, 17 November 2021

Abstract   Lawvere's Elementary Theory of the Category of Sets (ETCS) was conceived as an alternative to ZFC that represents more accurately how mathematicians actually do mathematics. But can ETCS do everything that ZFC can? I will present some evidence that yes, it can. Specifically, I will sketch how the beginning of the theory of large cardinals looks in ETCS, describing both the similarities and the differences between the two approaches. No prior familiarity with ETCS will be assumed.

Slides   In this pdf file. The blog posts on which the talk was based can be found here.

Video   You can watch the video here.

This page was last changed on 17 November 2021. Home