Comment from Ockam Hello Moved Here

Comment:
"I am not part of Ockam, but I've known the folks behind this for awhile. There has been a lot of hair pulling to get to this:
https://www.w3.org/TR/did-core/ . This was back in the day. http://manu.sporny.org/2014/credential-based-login/ .

A big issue that they still seem to have is data mapping. It happens here: https://www.youtube.com/watch?v=2EP35HO2HVQ&feature=youtu.be [What is a Personal Knowledge Graph- with Ruben Verborgh - The Graph Show]
 and even in the DID space where they rant about interoperability. There is crossover between the SoLiD community and DIDs. They talk about even bigger systems, beyond PDS. In my humble opinion, I believe that there is a blind spot amongst programmers about the wonders about applied category theory. I'm still trying to grasp it myself, but you see it here: https://arxiv.org/abs/1909.04881 [Algebraic Property Graphs], and here: categoricaldata.net/ , and here https://web-cats.gitlab.io/ --> https://arxiv.org/abs/1706.00526 [Knowledge Representation in Bicategories of Relations], and here https://www.youtube.com/watch?v=vnbDmQDvxsE&t=3m41s [ACT 2020 industry showcase]. My feeling is there a white X on the ground that says dig here. It's a reason to learn the maths."

Related to this for Bicatagories of Relations:
Description Logics? https://www.csee.umbc.edu/courses/graduate/691/fall19/07/papers/DescriptionLogicHandbook.pdf