Tom Leinster, University of Edimburgh

Resumen: 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.

Página Web: https://sites.google.com/im.unam.mx/seminario-de-categorias-unam/inicio

Youtube: https://www.youtube.com/channel/UCAt6kc74uY03ZGcNDb6VGAg