From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4868 Path: news.gmane.org!not-for-mail From: Andre.Rodin@ens.fr Newsgroups: gmane.science.mathematics.categories Subject: Re: sketch theory Date: Sat, 23 May 2009 02:44:26 +0200 Message-ID: Reply-To: Andre.Rodin@ens.fr NNTP-Posting-Host: lo.gmane.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1243179832 25329 80.91.229.12 (24 May 2009 15:43:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 24 May 2009 15:43:52 +0000 (UTC) To: Charles Wells , catbb Original-X-From: categories@mta.ca Sun May 24 17:43:46 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1M8FrS-0002GM-9M for gsmc-categories@m.gmane.org; Sun, 24 May 2009 17:43:42 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1M8FF2-0004kZ-Dr for categories-list@mta.ca; Sun, 24 May 2009 12:04:00 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4868 Archived-At: many thanks, Charles, somehow I forgot that the Elephant is also about Sk= etches. I came across this recent paper by Diskin&Wolter http://www.cs.toronto.edu/~zdiskin/Pubs/ACCAT-07.pdf where the authors propose a version of sketch-based syntax for Computer S= cience purposes. The main idea here (as far as I understood the paper) is to use sketches as arities of predicates. I heard about similar ideas from Rene Guitart in private conversations (but Rene's approach is algebraic rather= than logical). Looking at GBLS briefly I couldn't immediately grasp if your an= d Atish Bagchi's approach to graph-based logic is based on similar ideas or= your approach is quite different. I certainly should read GBLS more carefully = for discussing it but I would grateful for a hint. Andrei Selon Charles Wells : > I have not kept up with the field very well, but I can recommend these > works: > > Peter Johnstone, *Sketches of an Elephant*, Vol. 2, OUP 2003: the chapt= er on > sketches. (I am in rural Wisconsin at the moment asnd don't have acces= s to > the book. If OUP would make its pages available to look at on Amazon I > could have told you the exact page.) > > Bagchi and Wells, *Graph Based Logic and Sketches*, here: > > http://arxiv.org/PS_cache/arxiv/pdf/0809/0809.3023v1.pdf > > Also Kinoshita, et al 1997, referred to in GBLS. There might be releva= nt > papers since 1993 mentioned in the Elephant, too. > > Category people: If you can suggest other papers that should be includ= ed, > let me know soon, and I will revise the sketches paper to include them = (and > the ones I mentioned above). > > Charles Wells > >