Mes anteior Día anterior Día siguiente Mes siguiente
Anual Mensual Semanal Hoy Buscar Ir al mes específico
Large sets
Miércoles 17 Noviembre 2021, 01:00pm
Accesos : 20
Contacto Carlos Segovia

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

 

Go to top

Hay 73 invitados y ningún miembro en línea