banner_principal unam_morelos
2017-11-18  02:16 hrs.

Construcciones universales en registros ontológicos

Marco Antonio Pérez Bullones
IMATE Ciudad Universitaria


En ciencias, dentro del estudio de cualquier fenómeno, el equipo encargado debe diseñar y registrar los datos de los experimentos que se llevan a cabo, para poder hacer conclusiones en base a los mismos. Una forma de registro es laprosa que se observa en los artículos de investigación. Otra opción es ofrecida recientemente por el concepto de registro ontológico, que básicamente son categorías cuyos objetos y morfismos están etiquetados con frases nominales y frases verbales, respectivamente, de forma que la composición de morfismos y diagramas conmutativos tienen validez semántica. Con los registros ontológicos se pueden diseñar experimentos, y los datos pueden registrarse mediante el uso de funtores. 

El propósito de esta plática es estudiar cómo lucen las construcciones universales en Teoría de Categorías, es decir, productos, coproductos, pullbacks, pushots, igualadores y coigualadores, en el contexto de registros ontológicos. Primero presentaré la definiciones de registro ontológico (de David I. Spivak) y de ejemplificación, además de algunos ejemplos. Después estudiaremos las construcciones universales anteriores para entender cómo organizar datos y producir nueva información dentro de registros ontológicos. 



Palapa Guillermo Torres -- Miércoles 17 de febrero de 2016, 12:00 horas


unam campus morelos Unam Campus Morelos IBT CCG CIE FIS CRIM MATCUER
Unidad Cuernavaca del Instituto de Matemáticas UNAM