- 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>
* 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