[fchu]

(See https://en.m.wikipedia.org/wiki/Covariance_and_contravarianc... for more context)

Yes, as the terms "co/contra-variance" loosely relate to how certain derived attributes "varies" when base attributes changes:

- vectors: whether scalars scales in the same direction or not of the base vectors (ie is obtained through the base transformation matrix, or its inverse) - generics: whether generics of a subclass of T is interpreted as a subclass (same direction) or superclass (opposite direction) of a generics of T.

(Maybe they all formally tie together through category theory? I don't know but would love to hear from someone more educated about it!)