Homotopy Theory + AQFT = Quantum Gauge Theory?