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-mat... 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 <john.c.baez@gmail.com> 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