- From: David Spivak <dspivak@gmail.com>
- Date: Fri, 11 Apr 2014 10:14:20 -0400
- 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>
- Message-ID: <CACcOXSFQTYA3CJMucXAmQ8MG6veqSHSi4JFw1QJyiCLkDfknpQ@mail.gmail.com>
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