UNAM
You are here: Home / Actividades académicas / Seminarios en C.U. / 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

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.

Filed under: