5 May
1994
5 May
'94
1:34 a.m.
(Correction to an earlier posting - sorry) I wrongly stated that MacLane in Categories for Working Mathematicians defines Cartesian categories to be those that have finite products. He doesn't define the term at all. However, his Cartesian closed categories are indeed categories with finite products and exponentials. Thanks to Roy Crole for pointing this out. Steve Vickers.