Olog

La teoría de Olog es un intento de proporcionar un marco matemático riguroso para la representación del conocimiento, la construcción de modelos científicos y el almacenamiento de datos utilizando la teoría de categorías, herramientas lingüísticas y gráficas. La teoría de Olog fue introducida en 2010 por David Spivak,^[1]​ un científico investigador en el Departamento de Matemáticas, MIT.

1. ↑ Spivak (2011). «Ologs: A categorical framework for knowledge representation». arXiv:1102.1889v1  [cs.LO].