Note that this is the coordinate-independent analogue of the traditional definition of the law of transformation of a
geometric or natural object under a coordinate transformation. See, e.g., Stachel (1986). For a category-theoretical treatment
of natural bundles, see the Appendix A.