
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.
