rdf and category theory from henry.story@bblfish.net on 2014-04-09 (semantic-web@w3.org from April 2014)

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

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/

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