Gauge Theory

References

• Analysis in Higher Gauge Theory. John Baez. 2018.
• Canonical Gauges in Higher Gauge Theory. Andreas Gastel. 2018.
• Modern Physics Formalized in Modal Homotopy Type Theory. Urs Schreiber. 2016.
• Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. Urs Schreiber, Michael Shulman. 2014.