Gauge Theory

Contents

References

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