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

Re: rdf and category theory

From: <henry.story@bblfish.net>
Date: Thu, 17 Apr 2014 00:09:26 +0200
Cc: Antoine Zimmermann <antoine.zimmermann@emse.fr>, SW-forum Web <semantic-web@w3.org>, public-philoweb@w3.org
Message-Id: <4FF9AA5F-EDC9-4752-992A-4A3CD772533A@bblfish.net>
To: Gregg Reynolds <dev@mobileink.com>

On 11 Apr 2014, at 16:32, Gregg Reynolds <dev@mobileink.com> wrote:

> On Fri, Apr 11, 2014 at 8:30 AM, 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
> One of the best is Robert Goldblatt's Topoi : The Categorial Analysis of Logic	.  He pays special attention to linking CT concepts to both classic math and ordinary intuition.

I looked through Robert Goldblatt's Topoi quickly [1] and indeed it is the book that covers the subject probably most relevant to the semantic web community, since it aims to show how logic can be derived from Category Theory. In this area I found reading through the first part of Ralf Krömer's "Tool and Object: A History and Philosophy of Category Theory" to also be very interesting, as it gives an overview of the foundational debate in Mathematics  started by CT. 

It's so odd that RDF is entirely about relations just as CT is ( except that RDF is one to many whereas CT arrows are functions). So I really look forward to understanding how these two domains fit together, and perhaps how they complement each other.


[1] Having read through half of  "Conceptual Mathematics" by Willima Lawvere and done most of the exercises there, I am starting to be able to read a lot of these books much more easily.

> -Gregg 

Social Web Architect
Received on Wednesday, 16 April 2014 22:09:57 UTC

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