Recent Synthetic Differential Geometry | EKB DL