In Category Theory, we have covariant and contravariant functors. Mathematically I know the difference between the two - I can picture that.
What I would like to know why these concepts are named covariant and contravariant. How does the meaning in English link to the mathematical concepts?
NB. I am a computer programmer not a maths student.