 Covariance and contravariance of vectors

Covariance and contravariance are concepts that primarily arise in the context of type theory, programming languages, and certain areas of mathematics, particularly when dealing with linear algebra and vector spaces. ### Covariance Covariance refers to a relationship where a change in one variable leads to a change in another variable in the same direction.