  This set of lecture notes first gives an introduction to the geometry of
principal bundles. Next, it demonstrates how they can be used to formalize the
concept of gauge theories, arising in physics. A basic familiarity is assumed
with the differential geometry of manifolds and classical field theories of
general relativity and electromagnetism.
