## ↑ 12 References

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

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.

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

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

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.

Receive (occasional) updates on my work