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)

→