# category theory

## ↑ 31 References

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.

with an example pointing to category theory as a high level of abstraction, if I recall correctly

Why is Abstract Algebra important? I think it is related to logic, philosophy, category theory, and Mathematical Logic.

Side note: I’m thinking about category theory and considering knowledge graphs to be categories and translations between them to be functors.

These notes are made up of nested blocks (i.e. bullet points). You can access a block directly by clicking the arrow on the right side of the block. In theory, this coulud be a way to link between different people’s notes (i.e. Knowledge Graphs), and have direct access to the block hierarchy in published notes the same way one does in Logseq. Long-term, I hope to use this system to add more semantic meaning to the linked connections between notes, and explore the possible ramifications of surfacing their underlying categorical structure.

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

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.

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

A lot of this comes form seeing connections in things like categories and making cards for a Spaced Repetition system.

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