Covariant and contravariant

The terms covariant and contravariant come up in many contexts. An earlier post discussed how the terms are used in programming and category theory. The meaning in programming is an instance of the general use in category theory.Vector fields can be covariant or contravariant too. This is also an instance of the categorical usage, except [...]