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

Re: rdf and category theory

From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Date: Fri, 11 Apr 2014 15:30:41 +0200
Message-ID: <5347EE81.9060806@emse.fr>
To: Henry Story <henry.story@bblfish.net>
CC: semantic-web@w3.org
There're a lot of resources available online and for free about category 
theory.

Some examples:
  - Jirí Adámek, Horst Herrlich, George E. Strecker. Abstract and 
Concrete Categories: The Joy of Cats (524 pages). 
http://katmat.math.uni-bremen.de/acc/acc.pdf
  - Maarten M. Fokkinga. A Gentle Introduction to Category Theory: the 
calculational approach. 
http://wwwhome.ewi.utwente.nl/~fokkinga/mmf92b.pdf (80 pages).
  - Jaap van Oosten. Basic Category Theory (88 pages). 
http://www.staff.science.uu.nl/~ooste110/syllabi/catsmoeder.pdf


AZ.

Le 11/04/2014 12:30, henry.story@bblfish.net a écrit :
>
> On 9 Apr 2014, at 17:22, David Spivak <dspivak@gmail.com
> <mailto:dspivak@gmail.com>> wrote:
>
>> Hi all,
>>
>> Yes: a couple years ago, Eric and I had several nice discussions about
>> RDF, SPARQL, and their relation to a certain category-theoretic
>> foundation of databases.
>>
>> I wrote a paper that benefited greatly from these discussions. It is
>> linked <http://dx.doi.org/10.1017/S0960129513000479> and attached.
>>
>> Let me know if it's of interest, or if I can be of further assistance.
>
> Thanks a lot. I need to get better at category theory before I can read
> that paper, but it's good to know
> there is something I'll be able to use this knowledge for.
>
> Currently I am more than half way the very introductory book "Conceptual
> Mathematics: A first introduction to categories", Second Edition, by F.
> William Lawvere and Stephen H. Schanuel.
>
> I have "Category Theory" second edition by Steve Awodey on my desk here,
> though it is much more advanced.
>
> Someone online tweeted your course at MIT on Category Theory for Scientists
> http://math.mit.edu/~dspivak/teaching/sp13/
> ( Is MIT not recording your talk as part of a MOOC?  That would be nice :-)
>
> Alexandre Bertails library banana-rdf [1[ does is based on the notion of
> catamorphism [2]. Perhaps
> Alex has a few more pointers too.
>
> Henry
>
> PS. is there a list somewhere which is likely to have more people
> knowledgeable in this space to post to? semantic-web
> may just be a bit to general a list for this.
>
>
> [1] https://github.com/w3c/banana-rdf
> [2] http://en.wikipedia.org/wiki/Catamorphism
>
>
>>
>> David
>>
>>
>> On Wed, Apr 9, 2014 at 7:20 AM, Jean-Marc Vanel
>> <jeanmarc.vanel@gmail.com <mailto:jeanmarc.vanel@gmail.com>> wrote:
>>
>>     A search
>>     category theory  prove "rdf"
>>
>>     gives this,
>>     which seems in the same direction as Eric mentioned:
>>
>>     Proceedings of the
>>     Seventh International Workshop on
>>     Graph Transformation and Visual Modeling Techniques
>>     (GT-VMT 2008)
>>     Graph Transformations for the
>>     Resource Description Framework
>>     Benjamin Braatz and Christoph Brandt
>>
>>     This search gives other interesting stuff :
>>     "category theory" inference "rdf"
>>
>>
>>
>>     2014-04-09 13:10 GMT+02:00 Eric Prud'hommeaux <eric@w3.org
>>     <mailto:eric@w3.org>>:
>>
>>         * henry.story@bblfish.net <mailto:henry.story@bblfish.net>
>>         <henry.story@bblfish.net <mailto: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 <tel:%2B1.617.599.3509>
>>         mobile: +33.6.80.80.35.59 <tel:%2B33.6.80.80.35.59>
>>
>>         (eric@w3.org <mailto: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.
>>
>>
>>
>>
>>     --
>>     Jean-Marc Vanel
>>     Déductions SARL - Consulting, services, training,
>>     Rule-based programming, Semantic Web
>>     http://deductions-software.com/
>>     +33 (0)6 89 16 29 52 <tel:%2B33%20%280%296%2089%2016%2029%2052>
>>     Twitter: @jmvanel , @jmvanel_fr ; chat:
>>     irc://irc.freenode.net#eulergui <http://irc.freenode.net/#eulergui>
>>
>>
>> <LiftingProblems.pdf>
>
> Social Web Architect
> http://bblfish.net/
>

-- 
Antoine Zimmermann
ISCOD / LSTI - Institut Henri Fayol
École Nationale Supérieure des Mines de Saint-Étienne
158 cours Fauriel
CS 62362
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 42 66 03
Fax:+33(0)4 77 42 66 66
http://zimmer.aprilfoolsreview.com/
Received on Friday, 11 April 2014 13:31:27 UTC

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