Convenient vector spaces embed into the Cahiers topos Anders Kock (1986) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Corrigendum and addenda to the paper “Convenient vector spaces embed...” A. Kock, G. E. Reyes (1987) Cahiers de Topologie et Géométrie Différentielle Catégoriques