Convenient vector spaces embed into the Cahiers topos
Anders Kock (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Anders Kock (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A. Kock, G. E. Reyes (1987)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
I. Moerdijk, Ngo van Quê, G. Reyes (1987)
Fundamenta Mathematicae
Similarity:
Cap, Andreas
Similarity:
Alfred Frölicher (2004)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Anders Kock (1986)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: