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.
Articles by others on the same topic
Covariance and contravariance describe how vector and covector components transform when a basis changes.
