W3C home > Mailing lists > Public > public-credentials@w3.org > June 2020

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

From: Brent Shambaugh <brent.shambaugh@gmail.com>
Date: Tue, 2 Jun 2020 15:46:40 -0500
Message-ID: <CACvcBVoeY5XbjTjREQ3kkC0okRscr0qtO+krwMxLkh_vLvJJPQ@mail.gmail.com>
To: Wayne Chang <wyc@fastmail.fm>, Henry Story <hjs@bblfish.net>, ryan@conexus.com
Cc: Credentials Community Group <public-credentials@w3.org>
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

This archive was generated by hypermail 2.4.0 : Tuesday, 2 June 2020 20:47:08 UTC