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

Re: rdf and category theory

From: Paul-Olivier Dehaye <paul-olivier.dehaye@math.uzh.ch>
Date: Fri, 11 Apr 2014 15:56:53 +0200
Message-ID: <CAKPCZfxso1Ykd=hJr1-pHRcEPRmwF5HtfkDLkLv0JKBbLzdfTQ@mail.gmail.com>
To: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Cc: Henry Story <henry.story@bblfish.net>, semantic-web@w3.org, David Spivak <dspivak@gmail.com>, "cc: Eric Prud'hommeaux" <eric@w3.org>, Alexandre Bertails <alexandre@bertails.org>
Hi all,
I am a mathematician with interests in the far future for using semantic
research to help mathematics research. That's why I am lurking on this list
and why I emailed David in the past: I see his work as very interesting and
a very good stepping stone in the direction I am curious about.
It's not quite the same to have lots of material online and to have that
material explained to a specific community, so I think the MOOC idea is
worth pursuing (well, I had the idea of doing something along those lines
too). David? Would you like some help?
I have taught a Small Private Online Course using OpenEdX, built some tools
to allow professors to collaborate across institutions on a course, so I am
pretty sure my help would make the effort/result ratio worth it for you.
Paul

Paul-Olivier Dehaye
skype: lokami_lokami (preferred)
phone: +41 76 407 57 96
chat: paulolivier@gmail.com


Paul-Olivier Dehaye
skype: lokami_lokami (preferred)
phone: +41 76 407 57 96
chat: paulolivier@gmail.com



On Fri, Apr 11, 2014 at 3:30 PM, Antoine Zimmermann <
antoine.zimmermann@emse.fr> wrote:

> 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 Monday, 14 April 2014 13:01:17 UTC

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