- From: Paul-Olivier Dehaye <paul-olivier.dehaye@math.uzh.ch>
- Date: Fri, 11 Apr 2014 15:56:53 +0200
- 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>
- Message-ID: <CAKPCZfxso1Ykd=hJr1-pHRcEPRmwF5HtfkDLkLv0JKBbLzdfTQ@mail.gmail.com>
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