Differential algebra in a topos
The classical Wilson loop is the gauge-invariant trace of the parallel transport around a closed path with respect to a connection on a vector bundle over a smooth manifold. We build a precise mathematical model of the super Wilson loop, an extension introduced by Mason-Skinner and Caron-Huot, by endowing the objects occurring with auxiliary Graßmann generators coming from -points. A key feature of our model is a supergeometric parallel transport, which allows for a natural notion of holonomy on...