Abstract: We formalize Feynman’s construction of the path integral. To do this, we use the pair groupoid to give a coordinate-free definition of integration on manifolds. We discuss applications to the Poisson sigma model.