  We develop a differential geometric framework for parallel transport over
path spaces and a corresponding discrete theory, an integrated version of the
continuum theory, using a category-theoretic framework.
