Mathematical Gauge Theory