Naturality of Pullback with Direct Sums and Tensor Products