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

rdf and category theory

From: <henry.story@bblfish.net>
Date: Wed, 9 Apr 2014 12:49:32 +0200
Message-Id: <1B56A3C9-5373-4682-A1B1-DA34C16BF119@bblfish.net>
To: Semantic Web <semantic-web@w3.org>
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?


Social Web Architect
Received on Wednesday, 9 April 2014 10:50:03 UTC

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