Title:The Stratified Structure of Smooth Orbifold Mappings

Abstract: We consider four notions, two of which are new, of maps between smooth C^r orbifolds O, P with O compact (without boundary). We show that these new notions are natural and necessary in order to uniquely define the notion of orbibundle pullback. For the new notion of complete orbifold map, we show that the corresponding set of C^r orbifold maps between O and P with the C^r topology carry the structure of a topological Banach (r finite)/Frechet (r=infinity) manifold. For the new notion of complete reduced orbifold map, the corresponding set of C^r orbifold maps between O and P with the C^r topology also carries the structure of a topological Banach (r finite)/Frechet (r=infinity) manifold. The remaining two notions carry a structure which locally is a stratified space with strata modeled on Banach (r finite)/Frechet (r=\infinity) manifolds. Furthermore, we give the explicit relationship between these notions of orbifold map, and apply our results to the special case where the maps under consideration are orbifold diffeomorphisms.