https://123deta.com/document/z1dj557p-models-of-sharing-graphs-a-categorical-semantics-of.html