Cambiar a contenido. | Saltar a navegación

Herramientas Personales
Entrar

Navegación

Usted está aquí: Inicio / Actividades / Seminarios / Seminario Junior / Actividades / Un vistazo a a la teoría de categorías y topos

Un vistazo a a la teoría de categorías y topos

Ponente: Carlos Hernández
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.

archivado en: