3 ms·

I believe this terminology goes back to Rudolf Carnap; it actually predates the use of "functor" in category theory.