Un vistazo a a la teoría de categorías y topos
Ponente: Carlos Hernández
Institución: Facultad de Ciencias, UNAM
Institución: Facultad de Ciencias, UNAM
Cuándo |
21/09/2016 de 14:30 a 15:30 |
---|---|
Dónde | Salon de seminarios Graciela Salicrup |
Agregar evento al calendario |
vCal iCal |
Es creído en general que en la teoría de conjuntos es posible construir todo en las matemáticas, ya que la lógica matemática está escrita en términos de la teoría de conjuntos y las matemáticas están regidas por la lógica. Pero uno se pregunta øQuÈ es lo que hace a la teoría de conjuntos tan especial? La definición de una categoría en general pretende abstraer lo más importante que permite el estudio en una teoría cualquiera: objetos y morfismos.
La pregunta natural que viene después es ¿Existirá una categoría (no conjuntista) lo suficientemente rica como para modelar a la lógica al igual que lo hace la teoría de conjuntos? La respuesta es sí. A una categoría así se le llama Topos.