here I am using the term Category Theory term functor to describe a (potentially lossy) translation between two “knowledge graphs”

Future theoretical consideration: Ideally one would create a category out of their knowledge graph, and this way they a functor to translate their knowledge graph to another knowledge graph would be guaranteed to have proper composition and matched types.

I study the ways personal and interpersonal systems can be made functional to improve cognitive simplicity, including borrowing ideas from Category Theory and other metamathematical ideas.

Has some structural similarities to Category Theory, where you abstract away the details of the individual objects in the category, and now only about the way they interact with each other.

Inspired by Richard Southwell and Bartosz Milewski youtube lectures on Category Theory.

In my mind, this is a more formal and categorical version of Building a knowledge graph in Logseq.

Category Theory

This is the power behind generalized theories like Category Theory

A point about Category Theory

and somewhat related, Category Theory

Even if knowledge cannot be represented as a graph, it does seem like a lot can be represented as a Category Theory Category

I also think about this knowledge graph as eventually being a category, but that’s beyond the scope of this spec.