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

Re: rdf and category theory

From: Eric Prud'hommeaux <eric@w3.org>
Date: Fri, 11 Apr 2014 14:07:31 -0400
Message-ID: <CANfjZH0XHxbsUywWBmzusGXeZnNBO3Voj0XMGwx=mtvfkWheng@mail.gmail.com>
To: David <dspivak@gmail.com>
Cc: semantic-web <semantic-web@w3.org>, Henry Story <henry.story@bblfish.net>, Alexandre Bertails <alexandre@bertails.org>, Antoine Zimmermann <antoine.zimmermann@emse.fr>, Paul-Olivier Dehaye <paul-olivier.dehaye@math.uzh.ch>
On Apr 11, 2014 4:15 PM, "David Spivak" <dspivak@gmail.com> wrote:
>
> Hi Paul et al.,
>
> Yes, I would like some help making a MOOC; thanks for the offer! Perhaps
we should take this conversation into a new thread so we don't spam the
list..

I wonder if something interesting could come of a category view of Shape
Expressions < http://www.w3.org/2013/ShEx/Examples/> .

> As for Henry's questions, I think StackExchange is pretty good for asking
basic questions. Also one can find various videos about CT online.
>
> David
>
>
> On Fri, Apr 11, 2014 at 9:56 AM, Paul-Olivier Dehaye <
paul-olivier.dehaye@math.uzh.ch> wrote:
>>
>> 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 Friday, 11 April 2014 18:08:01 UTC

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