That’s right. In my training, which is mathematics and category theory, I always describe this as a natural transformation, which is transforming one functor to another, while representing the internal structure. That is to say, the composition of morphisms of the categories involved.