Ponente: Carlos Hernández
Institución: Facultad de Ciencias, UNAM
21/09/2016
de 14:30 a 15:30
Dónde Salon de seminarios Graciela Salicrup
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.
Temas: