<hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Ologs</hi> sind eine konkrete Anwendung der Kategorientheorie zur Wissensmodellierung. Der Ausgangspunkt ist natürliche Sprache, darum ist dieses Modell besonders für die textbasierten Digital Humanities geeignet. Ein <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">olog</hi> besteht zunächst nur aus einer Sammlung gelabelter Objekte und Pfeile, die funktionale Relationen zwischen den Objekten ausdrücken. Diese einfachen <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">ologs</hi> können bei Bedarf um einfache und komplexe <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Typen</hi> erweitert werden, d.h. um die Charakterisierung einer Menge, in der das Objekt Element ist. Ebenso können die Pfeile weiter spezifiziert werden als <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Aspekte</hi> oder <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Attribute</hi>.