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.