1. Categories of set-valued functors;Bunge,1966
2. Sur les modèles de la géometrie différentielle synthétique;Dubuc;Cahiers Topologie Géom. Différentielle,1979
3. Aspects of topoi;Freyd;Bull. Austral. Math. Soc.,1972
4. Aspects of topoi;Freyd;Bull. Austral. Math. Soc.,1972
5. The trouble with synthetic differential geometry;Freyd,1983