W3C home > Mailing lists > Public > semantic-web@w3.org > April 2014

Re: rdf and category theory

From: Eric Prud'hommeaux <eric@w3.org>
Date: Wed, 9 Apr 2014 07:10:36 -0400
To: "henry.story@bblfish.net" <henry.story@bblfish.net>, dspivak@gmail.com
Cc: Semantic Web <semantic-web@w3.org>
Message-ID: <20140409111035.GC18838@w3.org>
* henry.story@bblfish.net <henry.story@bblfish.net> [2014-04-09 12:49+0200]
> I am reading up on category theory, which is very important in functional 
> programming languages. Does anyone have some insight on what the relations
> between the two are? Do people use category theory to prove things in rdf 
> or vice versa?

David Spivak and I looked at using category theory to back the query
rewriting algorithms in SWObjects. The notion was to treat query
rewrite as morphisms between different schemas. I don't recall how far
we got. David?


> Henry
> 
> Social Web Architect
> http://bblfish.net/
> 
> 

-- 
-ericP

office: +1.617.599.3509
mobile: +33.6.80.80.35.59

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

There are subtle nuances encoded in font variation and clever layout
which can only be seen by printing this message on high-clay paper.
Received on Wednesday, 9 April 2014 11:11:06 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:49 UTC