Principal bundles, groupoids, and connections
Tom 76 / 2007
Banach Center Publications 76 (2007), 185-200 MSC: 51K10, 53C05, 58H05, 20L05. DOI: 10.4064/bc76-0-8
We clarify in which precise sense the theory of principal bundles and the theory of groupoids are equivalent; and how this equivalence of theories, in the differentiable case, reflects itself in the theory of connections. The method used is that of synthetic differential geometry.