Marta Bunge

Singular Coverings of Toposes (Lecture Notes in Mathematics Book 1890)
Synthetic Differential Topology