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

Re: rdf and category theory

From: Hugh Glaser <hugh@glasers.org>
Date: Thu, 24 Apr 2014 09:10:08 +0100
Cc: Semantic Web <semantic-web@w3.org>
Message-Id: <307C7259-2C7C-409C-8330-172F0EC270DD@glasers.org>
To: henry.story@bblfish.net
So Henry mentions Category Theory.
And two weeks later I find myself having a dream where I am in an audience of SemWeb people, and the lecturer asks me to come out and explain Strictness Analysis extempore.
At least the lecturer chose something I understand somewhat, rather than the Category Theory!
You will be pleased to hear that it goes OK, even though I canít get the whiteboard marker to work properly.
Our pasts do catch up with us :-)

On 9 Apr 2014, at 11:49, henry.story@bblfish.net wrote:

> 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?
> Henry
> Social Web Architect
> http://bblfish.net/

Hugh Glaser
   20 Portchester Rise
   SO50 4QS
Mobile: +44 75 9533 4155, Home: +44 23 8061 5652
Received on Thursday, 24 April 2014 08:10:33 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:37 UTC