London Mathematical Society Lecture Note Ser.: Synthetic Differential Topology by Ana Mara San Luis, Felipe Gago and Marta Bunge (2018, Trade Paperback)
By Marta Bunge, Felipe Gago, Ana María San Luis. Topos theory; 2. Topics in SDG: 3. The Ambrose–Palais–Singer theorem in SDG; 4. Calculus of variations in SDG; Part III. Toposes and Differential Topology: 5.