W3C home > Mailing lists > Public > semantic-web@w3.org > November 2019

Re: Category Theory CG? was: Algebraic Property Graphs and RDF

From: Joshua Shinavier <joshsh@uber.com>
Date: Wed, 13 Nov 2019 11:29:20 -0800
Message-ID: <CAPc0OuvA+1aDQmgY6hv1OemY8s0No_dODzv3SpiyrF8pjKM6zA@mail.gmail.com>
To: Henry Story <henry.story@bblfish.net>
Cc: semantic-web <semantic-web@w3.org>, W3C AIKR CG <public-aikr@w3.org>, Ryan Wisnesky <ryan@conexus.ai>, ProjectParadigm-ICT-Program <metadataportals@yahoo.com>
Hi Henry,

I think it's a great idea, and you can count me in. Right now, there are a
number of disconnected threads on CT + graph data models and semantics
which I think would benefit from a central place to interact. I know next
to nothing about HoTT, but am interested in learning, and I am also
interested in connecting the work Ryan and I have done on type algebras for
graphs with yours on RDF semantics and modal logics. We can bounce topics
around between the community group and local meetups like this one
<https://www.meetup.com/Category-Theory/>, compare notes on applied CT in
industry, etc.

Josh


On Wed, Nov 13, 2019 at 2:18 AM Henry Story <henry.story@bblfish.net> wrote:

> Hi all,
>
>     we have been discussing the possibility of opening a
> Category Theory community group, which would allow people
> interested in CT to have a space to talk about how it
> applies to web standards, from RDF, SPARQL, Property Graphs,
> etc... all the way to HTTP. This could attract mathematicians
> and allow them to see which other groups could be helped
> from some theoretical input, write up a wiki of concepts
> and papers that are related, and a lot more….
>
> Feedback welcome :-)
>
> > On 23 Sep 2019, at 15:08, ProjectParadigm-ICT-Program <
> metadataportals@yahoo.com> wrote:
> >
> > Good. Finally we are starting to see the light. But an even more
> generalized model is possible, because the essence here is representing
> data, whereas there are two more levels, i.e. information and knowledge.
> And both can also be captured using category theory and formal algebra, but
> with a twist.
>
> Yes, I agree. Knowledge involves modal concepts (at least Nozick’s
> definition
> in Philosophical Explanations gave some very good reason to believe so).
>
> I recently discovered that an introductory book on Modal HoTT (for
> philosophers)
> was to come out soon. In the already published chapter 4 is written there
> that
>
> "The slogan here is that, where HoTT itself is the internal language of
> (∞,1)-toposes, modal HoTT is the internal language for collections of
> (∞,1)-toposes related by geometric morphisms”
>
> This brings a whole new level of mathematical clarity to the subject.
> I wrote up a blog post to help me read that article with pointers to
> articles
> and research here:
>
> ”Modal HoTT on the Web"
>
> https://urldefense.proofpoint.com/v2/url?u=https-3A__medium.com_-40bblfish_modal-2Dhott-2Don-2Dthe-2Dweb-2D2f4f7996b41f&d=DwIFaQ&c=r2dcLCtU9q6n0vrtnDw9vg&r=yHrezOOUvTAeD_KgsElyJw&m=sJkaNiUxXJYCYfF4xgsQlmABOvV46PxRsQhysaHtPV8&s=L6vOafbKZOTAyP28333raC5Dq5vmW12OwfRHkqDQYtc&e=
>
> Henry
>
> >
> > Milton Ponson
> > GSM: +297 747 8280
> > PO Box 1154, Oranjestad
> > Aruba, Dutch Caribbean
> > Project Paradigm: Bringing the ICT tools for sustainable development to
> all stakeholders worldwide through collaborative research on applied
> mathematics, advanced modeling, software and standards development
> >
> >
> > On Monday, September 23, 2019, 9:10:16 AM ADT, Henry Story <
> henry.story@bblfish.net> wrote:
> >
> >
> > Hi,
> >
> >   An interesting paper linking knowledge graphs, property graphs and
> > RDF together via Category Theory
> >
> > Algebraic Property Graphs
> >
> https://urldefense.proofpoint.com/v2/url?u=https-3A__arxiv.org_abs_1909.04881&d=DwIFaQ&c=r2dcLCtU9q6n0vrtnDw9vg&r=yHrezOOUvTAeD_KgsElyJw&m=sJkaNiUxXJYCYfF4xgsQlmABOvV46PxRsQhysaHtPV8&s=I9aF_uWTQtoPPSUuHpW7VCD-lEMXL7UlCsm7ECkIh-c&e=
> >
> > Henry Story
> >
> >
>
>
>
Received on Wednesday, 13 November 2019 19:29:35 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:51:39 UTC