[dawnofdusk]

>Is there a translation of this into category theory terms?

It's essentially the same as the relation between covariance and contravariance in category theory.