An Introduction to Pull-backs of Bundles and Homotopy Invariance

Scott Morrison

We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by…