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. Many thanks Ronnie -- Prof R. Brown, School of Informatics, Mathematics Division, University of Wales, Bangor Dean St., Bangor, Gwynedd LL57 1UT, United Kingdom Tel. direct:+44 1248 382474|office: 382681 fax: +44 1248 361429 World Wide Web: home page: http://www.bangor.ac.uk/~mas010/ (Links to survey articles: Higher dimensional group theory Groupoids and crossed objects in algebraic topology) Symbolic Sculpture and Mathematics: http://www.cpm.informatics.bangor.ac.uk/sculmath/ Centre for the Popularisation of Mathematics http://www.cpm.informatics.bangor.ac.uk/ Raising Public Awareness of Mathematics http://www.cpm.informatics.bangor.ac.uk/rpamath/ 10-Jul-2001 20:08:05 -0300,1732;000000000001-00000016