10 Jul
2001
10 Jul
'01
6:39 p.m.
Ronnie asks: Does anyone know a reference for the embedding of a cartesian closed category in a topos? I have a memory there is a general result of this kind. The standard Yoneda embedding of a small CCC into its category of presheaves preserves the CCC structure. 11-Jul-2001 09:38:36 -0300,2255;000000000000-00000018