- From: Brent Shambaugh <brent.shambaugh@gmail.com>
- Date: Tue, 2 Jun 2020 15:46:40 -0500
- To: Wayne Chang <wyc@fastmail.fm>, Henry Story <hjs@bblfish.net>, ryan@conexus.com
- Cc: Credentials Community Group <public-credentials@w3.org>
- Message-ID: <CACvcBVoeY5XbjTjREQ3kkC0okRscr0qtO+krwMxLkh_vLvJJPQ@mail.gmail.com>
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 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 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/ . Henry Story: https://bblfish.net/ , https://web-cats.gitlab.io/ (doing a PhD with CT applied to RDF) Wayne Chang: https://consensys.net/ , https://identity.foundation/ Ryan Wisnesky: https://www.categoricaldata.net/ , https://www.wisnesky.net/ In general: https://www.w3.org/community/credentials/ , 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...
Received on Tuesday, 2 June 2020 20:47:07 UTC