Seminario de Categorías
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
Hay 73 invitados y ningún miembro en línea