¿Puede una teoría de categoría proporcionar el marco para vincular ontologías?

Posiblemente. No entiendo exactamente qué se entiende por “ontologías de enlace”. La teoría de categorías ciertamente ha definido exactamente el lenguaje para expresar muchos conceptos que también se encuentran en ontología con gran poder expresivo. La teoría de categorías es buena para distinguir entre datos abstractos / desconocidos y datos concretos / conocidos / bien entendidos. Básicamente, a menudo modela abstracciones / tipos / clases como objetos de alguna categoría y transformaciones / relaciones / enlaces concretos conocidos como morfismos / mapeos / funciones entre los objetos. Hay muchos conceptos que pueden derivarse de los conceptos básicos construcciones de teoría de categorías a partir de ingredientes muy simples. Al cambiar la categoría, elegiría qué datos son importantes (~ concretos). Con las ontologías podría haber tantos puntos de vista utilizados simultáneamente que mantener separados los puntos de vista distintos para modelarlos como categorías podrían ser difícil La teoría de la categoría tiene un enfoque distintivo en morfismos y transformaciones (preservación de la estructura).