categories: Re: Embedability

["Ronald Brown" <Ronnie.Brown@tesco.net>]

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>
>
>