- From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
- Date: Fri, 11 Apr 2014 15:30:41 +0200
- 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