- From: Eric Prud'hommeaux <eric@w3.org>
- Date: Fri, 11 Apr 2014 14:07:31 -0400
- To: David <dspivak@gmail.com>
- Cc: semantic-web <semantic-web@w3.org>, Henry Story <henry.story@bblfish.net>, Alexandre Bertails <alexandre@bertails.org>, Antoine Zimmermann <antoine.zimmermann@emse.fr>, Paul-Olivier Dehaye <paul-olivier.dehaye@math.uzh.ch>
- Message-ID: <CANfjZH0XHxbsUywWBmzusGXeZnNBO3Voj0XMGwx=mtvfkWheng@mail.gmail.com>
On Apr 11, 2014 4:15 PM, "David Spivak" <dspivak@gmail.com> wrote: > > 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.. I wonder if something interesting could come of a category view of Shape Expressions < http://www.w3.org/2013/ShEx/Examples/> . > 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 18:08:01 UTC