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
When |
Sep 21, 2016
from 02:30 PM to 03:30 PM |
---|---|
Where | Salon de seminarios Graciela Salicrup |
Add event to calendar |
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.