On knowledge representation through ontology logs and how it’s related to category theory.