Discovering the Categorical Knowledge Graph →
#
>

Category Theory

→
#
>

If Category Theory can represent many different types of mathematics, it seems likely that it will be able to represent knowledge, or at least a significant subset of the type of knowledge I want to store in a note-taking system.

→
#
>

The idea that propositional logic could be represented as a category is what opened my mind to the power of what categories might be able to do.

→