https://en.wikipedia.org/wiki/Covariance_and_contravariance_...
> The use of both terms in the modern context of multilinear algebra is a specific example of corresponding notions in category theory.
https://en.wikipedia.org/wiki/Covariance_and_contravariance_...