We develop the theory of smooth principal bundles for a group G, using framework diffeological spaces. After giving new examples showing why arbitrary cannot be classified, we define D-numerable bundles, analogs numerable from topology, and prove that pulling back bundle along smoothly homotopic maps gives isomorphic pullbacks. then structures on Milnor’s spaces EG BG, show → BG is bundle, it c...