21 May
2009
21 May
'09
7:43 p.m.
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