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

Re: rdf and category theory

From: David Spivak <dspivak@gmail.com>
Date: Fri, 11 Apr 2014 10:14:20 -0400
Message-ID: <CACcOXSFQTYA3CJMucXAmQ8MG6veqSHSi4JFw1QJyiCLkDfknpQ@mail.gmail.com>
To: Paul-Olivier Dehaye <paul-olivier.dehaye@math.uzh.ch>
Cc: Antoine Zimmermann <antoine.zimmermann@emse.fr>, Henry Story <henry.story@bblfish.net>, Semantic Web <semantic-web@w3.org>, "cc: Eric Prud'hommeaux" <eric@w3.org>, Alexandre Bertails <alexandre@bertails.org>
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..

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 14:16:31 UTC

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