From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4870 Path: news.gmane.org!not-for-mail From: Charles Wells Newsgroups: gmane.science.mathematics.categories Subject: Re: sketch theory Date: Fri, 22 May 2009 09:29:48 -0500 Message-ID: Reply-To: Charles Wells NNTP-Posting-Host: lo.gmane.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1243179902 25518 80.91.229.12 (24 May 2009 15:45:02 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 24 May 2009 15:45:02 +0000 (UTC) To: John Baez , catbb Original-X-From: categories@mta.ca Sun May 24 17:44:55 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 1M8Fsc-0002kH-Jx for gsmc-categories@m.gmane.org; Sun, 24 May 2009 17:44:54 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1M8FCB-0004c7-U4 for categories-list@mta.ca; Sun, 24 May 2009 12:01:04 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4870 Archived-At: That is carried out (rather sketchily :)) on page 48 of Graph Based Logic and Sketches by Bagchi and Wells, here: http://arxiv.org/PS_cache/arxiv/pdf/0809/0809.3023v1.pdf This post http://sixwingedseraph.wordpress.com/2009/05/08/turning-definitions-into-mathematical-objects/ is the first of a projected series to explain the Bagchi-Wells paper in a more how-to-think-about-it style. Charles Wells On Thu, May 21, 2009 at 2:43 PM, John Baez wrote: > Dear Categorists - > > Andrei Rodin pointed out this paper by Charles Wells: > > http://www.cwru.edu/artsci/math/wells/pub/pdf/sketch.pdf > > I took a look. In section 4.1 it mentions that people have given a finite > limits sketch for cartesian closed categories. I'm curious about how this > works, Unfortunately the list of references given here is quite long. Can > anyone help me find a reference on a sketch for CCC's? > > Best, > jb >