Categorical Knowledge Graph

#
>

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

→
#
>

Eventually, there would be a need to design functors to some sort of global knowledge graph semantics (or at least between two knowledge graphs)

→