Coloquio

Miércoles 17 de febrero de 2016
12:00hrs

Palapa Guillermo Torres


Imparte(n)

  • Marco Antonio Pérez Bullones
    (IMATE Ciudad Universitaria)

Responsable(s):

  • Francisco Marcos López García

Resumen:

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. 


Compartir este seminario