Starting at an introductory level, this book leads to important results in synthetic differential geometry. From rudimentary analysis it moves to such results as: proof of De Rham's theorem; the synthetic view of global action, going as far as the Weil characteristic homomorphism; and, the systematic account of structured Lie objects.