From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4861 Path: news.gmane.org!not-for-mail From: John Baez Newsgroups: gmane.science.mathematics.categories Subject: Re: sketch theory Date: Thu, 21 May 2009 12:43:12 -0700 Message-ID: Reply-To: John Baez NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1243000053 18229 80.91.229.12 (22 May 2009 13:47:33 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 22 May 2009 13:47:33 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Fri May 22 15:47:26 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 1M7V5p-0002xc-9V for gsmc-categories@m.gmane.org; Fri, 22 May 2009 15:47:25 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1M7USx-0003pW-Vj for categories-list@mta.ca; Fri, 22 May 2009 10:07:16 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4861 Archived-At: 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