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

Category Theory CG? was: Algebraic Property Graphs and RDF

From: Henry Story <henry.story@bblfish.net>
Date: Wed, 13 Nov 2019 11:12:35 +0100
Cc: W3C AIKR CG <public-aikr@w3.org>, Ryan Wisnesky <ryan@conexus.ai>, ProjectParadigm-ICT-Program <metadataportals@yahoo.com>
Message-Id: <7911E50A-3AFE-4881-A6EC-DBA5214F808C@bblfish.net>
To: semantic-web <semantic-web@w3.org>
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"


> 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://arxiv.org/abs/1909.04881
> Henry Story
Received on Wednesday, 13 November 2019 10:12:40 UTC

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