Ologs logo


Join our announcement mailing list, contact us directly, or view our google group discussion forum.




Ologs were designed as a category-theoretic method of knowledge representation. They can be used to conceptually model any subject.

An olog is a system of boxes and arrows, each labeled with English text, something like a concept web. The main difference is that ologs follow rules that make them "functional". That is, an olog about a given subject automatically serves as a database schema for storing data about that subject.
David Spivak is the primary contributor.
Latest update: 2015 / March / 04

Back to categoricaldata.net