Algebra of Principal Fibre Bundles, and Connections
arXiv:math/0005125
Abstract
We put together some of the efforts by several people of making aspects of fibre bundle theory into algebra. The initiator of these efforts was Charles Ehresmann, who put the notion of groupoid and groupoid action in the focus of fibre bundle theory in general, and in connection theory in particular.
13 pages