From the Biot-Savart Law to Ampere's Magnetic Circuital Law via Synthetic Differential Geometry