Category Theory
↑ 22 References
here I am using the term Category Theory term functor to describe a (potentially lossy) translation between two “knowledge graphs”
In my mind, this is a more formal and categorical version of Building a knowledge graph in Logseq.
with an example pointing to Category Theory as a high level of abstraction, if I recall correctly
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.
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.