A categorical equivalence between generalized holonomy maps on a connected manifold and principal connections on bundles over that manifold

From MaRDI portal
Publication:2832725