Re: rdf and category theory

One of the best talks I’ve seen was Erik Meijer’s on CoSQL and NoSQL.

This is the closest online video I’ve found:
http://www.infoq.com/interviews/meijer-big-data

And there’s a couple of online papers and write-ups:
http://queue.acm.org/detail.cfm?id=1961297
http://readwrite.com/2011/09/19/category-theory-for-breakfast#awesm=~oAYSdVdAWkAfgD
http://wwwhome.ewi.utwente.nl/~fokkinga/mmf2011p.pdf

Here’s my view as it relates to SPARQL and RDF:
http://morenews.blogspot.com.au/2010/12/whats-dual.html

On 9 Apr 2014, at 8:49 pm, 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/
> 
>