4 May
1994
4 May
'94
12:21 a.m.
This is all very simple stuff, which I should have worked out a long time ago. What is the correct definition of a Cartesian closed category? Some books seem to say that a CCC has a finite limits plus the relevant conditions to give you exponitails. While other books seem to define it as finite products plus exponitails. Am I reading all these books wrong (I always thought it was all finite limits so I might of systimacitally misread lots of books since). Or can you get finite limits from finite products (but where do you get the equalisers form?) Regards Justin Pearson