Just curious: Sussman and Wisdom have written a book called "Structure and Interpretation of Classical Mechanics" following the classic SICP Scheme book. Has anyone attempted a similar approach for electromagnetics?
Functional Differential Geometry is about the maths required for field theories but focuses on relativity as the main example.