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.