The theory ofologs is an attempt to provide a rigorous mathematical framework for knowledge representation, construction of scientific models and data storage usingcategory theory, linguistic and graphical tools. Ologs were introduced in 2012 byDavid Spivak and Robert Kent.^[1]

The term "olog" is short for "ontology log". "Ontology" derives fromonto-, from theGreekὤν, ὄντος "being; that which is", present participle of the verbεἰμί "be", and-λογία,-logia:science,study,theory.

An olog${\displaystyle \mathcal{C}}$ for a given domain is acategory whoseobjects are boxes labeled with phrases (more specifically, singular indefinite noun phrases) relevant to the domain, and whosemorphisms are directed arrows between the boxes, labeled with verb phrases also relevant to the domain. These noun and verb phrases combine to form sentences that express relationships between objects in the domain.

In every olog, the objects exist within atarget category. Unless otherwise specified, the target category is taken to be${\displaystyle \mathbf{\text{Set}}}$, the category of sets and functions.The boxes in the above diagram represent objects of${\displaystyle \mathbf{\text{Set}}}$. For example, the box containing the phrase "an amino acid" represents the set of all amino acids, and the box containing the phrase "a side chain" represents the set of all side chains. The arrow labeled "has" that points from "an amino acid" to "a side chain" represents the function that maps each amino acid to its unique side chain.

Another target category that can be used is theKleisli category${\displaystyle {\mathcal{C}}_{\mathbb{P}}}$ of thepower set monad. Given an${\displaystyle A\in Ob(\mathbf{\text{Set}})}$,${\displaystyle \mathbb{P}(A)}$ is then the power set of A. Thenatural transformation${\displaystyle \eta }$ maps${\displaystyle a\in A}$ to thesingleton${\displaystyle \{a\}}$, and the natural transformation${\displaystyle \mu }$ maps a set of sets to its union. TheKleisli category${\displaystyle {\mathcal{C}}_{\mathbb{P}}}$ is the category with the objects matching those in${\displaystyle \mathbb{P}}$, and morphisms that establishbinary relations. Given a morphism${\displaystyle f:A\to B}$, and given${\displaystyle a\in A}$ and${\displaystyle b\in B}$, we define the morphism${\displaystyle R}$ by saying that${\displaystyle (a,b)\in R}$ whenever${\displaystyle b\in f(a)}$. The verb phrases used with this target category would need to make sense with objects that are subsets: for example, "is related to" or "is greater than".

Another possible target category is the Kleisli category of probability distributions, called theGiry monad.^[2] This provides a generalization ofMarkov decision processes.

An olog${\displaystyle \mathcal{C}}$ can also be viewed as adatabase schema. Every box (object of${\displaystyle \mathcal{C}}$) in the olog is atable${\displaystyle T}$ and the arrows (morphisms) emanating from the box are columns in${\displaystyle \mathcal{C}}$. The assignment of a particular instance to an object of${\displaystyle \mathcal{C}}$ is done through afunctor${\displaystyle I:\mathcal{C}\to \mathbf{\text{Set}}}$. In the example above, the box "an amino acid" will be represented as a table whose number of rows is equal to the number of types of amino acids and whose number of columns is three, one column for each arrow emanating from that box.

"Communication" between different ologs which in practice can be communication between different models or world-views is done usingfunctors. Spivak coins the notions of a 'meaningful' and 'strongly meaningful' functors.^[1] Let${\displaystyle \mathcal{C}}$ and${\displaystyle \mathcal{D}}$ be two ologs,${\displaystyle I:\mathcal{C}\to \mathbf{\text{Set}}}$,${\displaystyle J:\mathcal{D}\to \mathbf{\text{Set}}}$ functors (see the section on ologs and databases) and${\displaystyle F:\mathcal{C}\to \mathcal{D}}$ a functor.${\displaystyle F}$ is called aschema mapping. We say that a${\displaystyle F}$ ismeaningful if there exists a natural transformation${\displaystyle m:I\to F^{\ast }J}$ (thepullback of J by F).

Taking as an example${\displaystyle \mathcal{C}}$ and${\displaystyle \mathcal{D}}$ as two different scientific models, the functor${\displaystyle F}$ is meaningful if "predictions", which are objects in${\displaystyle \mathbf{\text{Set}}}$, made by the first model${\displaystyle \mathcal{C}}$ can be translated to the second model${\displaystyle \mathcal{D}}$.

We say that${\displaystyle F}$ isstrongly meaningful if given an object${\displaystyle X\in \mathcal{C}}$ we have${\displaystyle I(X)=J(F(X))}$. This equality is equivalent to requiring${\displaystyle m}$ to be a natural isomorphism.

Sometimes it will be hard to find a meaningful functor${\displaystyle F}$ from${\displaystyle \mathcal{C}}$ to${\displaystyle \mathcal{D}}$. In such a case we may try to define a new olog${\displaystyle \mathcal{B}}$ which represents the common ground of${\displaystyle \mathcal{C}}$ and${\displaystyle \mathcal{D}}$ and find meaningful functors${\displaystyle F_{\mathcal{C}}:\mathcal{B}\to \mathcal{C}}$ and${\displaystyle F_{\mathcal{D}}:\mathcal{B}\to \mathcal{D}}$.

If communication between ologs is limited to a two-way communication as described above then we may think of a collection of ologs as nodes of agraph and of the edges as functors connecting the ologs. If a simultaneous communication between more than two ologs is allowed then the graph becomes a symmetricsimplicial complex.

Spivak provides some rules of good practice for writing an olog whose morphisms have a functional nature (see the first example in the section Mathematical formalism).^[1] The text in a box should adhere to the following rules:

1. begin with the word "a" or "an". (Example: "an amino acid").
2. refer to a distinction made and recognizable by the olog's author.
3. refer to a distinction for which there is well defined functor whose range is${\displaystyle \mathbf{\text{Set}}}$, i.e. an instance can be documented. (Example: there is a set of all amino acids).
4. declare all variables in a compound structure. (Example: instead of writing in a box "a man and a woman" write "a man${\displaystyle m}$ and a woman${\displaystyle w}$ " or "a pair${\displaystyle (m,w)}$ where${\displaystyle m}$ is a man and${\displaystyle w}$ is a woman").

The first three rules ensure that the objects (the boxes) defined by the olog's author are well-defined sets. The fourth rule improves the labeling of arrows in an olog.

This concept was used in a paper published in the December 2011 issue ofBioNanoScience by David Spivak and others to establish a scientific analogy between spider silk and musical composition.^[3]

• Hypergraph
• Modeling language
• Ontology language
• Operad theory
• Orgology
• Universal algebra
• Universal logic

• Spivak, David I."Categorical informatics".math.mit.edu. Retrieved2 May 2017.
• Spivak, David I. (2014).Category theory for the sciences. Cambridge, MA:MIT Press.ISBN 978-0-262-02813-4.OCLC 876833252.

• CatColab: A collaborative environment for formal, interoperable, conceptual modeling. Provides a web-tool to interactively construct and share Ologs.

• Category theory
• Ontology (information science)