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.