Re: Getting people together to talk about Category Theory and RDF or :P JSON-LD, JWT, ...

Nice to meet everyone, please let me know if I can be of assistance - happy to overview our work, etc.  

> On Jun 2, 2020, at 1:46 PM, Brent Shambaugh <brent.shambaugh@gmail.com> wrote:
> 
> Henry Story, I have been talking to Ryan Wisnesky and Wayne Chang separately. I know that both you and Ryan are interested in Category Theory for RDF.
> Wayne is becoming aware of Ryan's work with Algebraic Databases and has extensive experience in the BlockChain space. He has worked with the Decentralized Identity Foundation
> and will be an upcoming chair for the Credentials Community Group.
> 
> I do expect that this conversation will migrate in some form to the credentials community group. Probably as a topic on the call. I cc'ed the list. 
> 
> I am bringing you all together because I felt that I had insufficient experience to explain the depths of Category Theory applied to RDF to Wayne.*
> 
> It will probably be useful for many reasons:
> David Spivak: Categorical Databases (implemented by Ryan)
> https://www.youtube.com/watch?v=bk36__qkhrk <https://www.youtube.com/watch?v=bk36__qkhrk> 
> 
> Programming with Math (Exploring Type Theory) -- { Bartosz Milewski ... lives in Seattle, worked with David Spivak and Brendan Fong on a Category Theory Course at MIT }
> https://www.youtube.com/watch?v=8AGWTWVOJ74 <https://www.youtube.com/watch?v=8AGWTWVOJ74>
> 
> I do know that Ryan will be having a online Meetup for Category Theory this evening (7-9 PDT / Los Angeles Time): https://www.meetup.com/Category-Theory/ <https://www.meetup.com/Category-Theory/> . 
> 
> Henry Story: https://bblfish.net/ <https://bblfish.net/> , https://web-cats.gitlab.io/ <https://web-cats.gitlab.io/> (doing a PhD with CT applied to RDF) 
> Wayne Chang: https://consensys.net/ <https://consensys.net/> , https://identity.foundation/ <https://identity.foundation/> 
> Ryan Wisnesky: https://www.categoricaldata.net/ <https://www.categoricaldata.net/> , https://www.wisnesky.net/ <https://www.wisnesky.net/>
> 
> In general: https://www.w3.org/community/credentials/ <https://www.w3.org/community/credentials/> , https://ssimeetup.org/ <https://ssimeetup.org/>
> 
> Please let me know if we can move things forward. I don't know how things will go down. Is there broad. Is there narrow interest? Who will talk? Where, when, why?
> 
> Thanks for your time.
> 
> -Brent
> 
> * In my opinion, CT is useful for mapping schemas. Math gives a provably correct way to do it. I made me think, oh wait, when I saw all of the GraphQL queries for IPFS for various blockchains (on the graph?). You're also adding more for VC wallets? hmm...