Quantum Gauge Field Theory in Cohesive Homotopy Type Theoryncatlab.org1 point·Xcelerate··0 commentsOpen articleSaveView on HN