We show that induction of covariant representations for C∗-dynamical systems is natural in the sense that it gives a natural transformation between certain crossed-product functors. This involves setting up suitable categories of C∗-algebras and dynamical systems, and extending the usual constructions of crossed products to define the appropriate functors. From this point of view, Green’s Impri...