TY - RPRT TI - Algebra of Principal Fibre Bundles, and Connections AU - Anders Kock PY - 2000 UR - https://arxiv.org/abs/math/0005125 ID - math/0005125 ER -