Uniqueness and functoriality of Igusa stacks

We provide an axiomatic definition of an Igusa stack associated to an arbitrary Shimura datum. We then prove that Igusa stacks are unique and automatically functorial with respect to morphisms of Shimura data, assuming their existence. Using the same techniques, we also prove that the existence of the Igusa stack passes to a Shimura subdatum.