Mw question was too imprecise. I really want to know if the cartesian closed category of compactly generated topological spaces can for general reasons be embedded in a topos, so I am asking if a large cartesian closed category can be embedded in a topos. Ronnie ----- Original Message ----- From: Robert A.G. Seely <rags@math.mcgill.ca> To: <r.brown@bangor.ac.uk> Sent: Tuesday, July 10, 2001 6:12 PM Subject: Re: Categories: Embedability
Do you mean "other than Yoneda"? I think Dana Scott was the first to publish what must have been folklore that Yoneda does actually preserve the Cartesian closed category structure in that case - I think he mentioned this in one of his CS papers in the early 70's.
- all the best, Robert
================== R.A.G. Seely <rags@math.mcgill.ca> <http://www.math.mcgill.ca/rags>
10-Jul-2001 20:08:09 -0300,814;000000000001-00000017