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