In this answer, Brian M. Scott lists different definitions of continuity, and for some of them mentions whether they are covariant or contravariant. I am familiar with these terms from subtyping in programming, but I haven't seen these terms applied to mathematical definitions before.

Some questions I have:

  1. What does it mean for a definition to be covariant or contravariant? Is there a precise definition or is it more informal?
  2. When can a definition be covariant or contravariant? What are some other examples of covariant or contravariant definitions?
  3. Is there a way to search for this usage of these terms? When I try to search for the application of these terms to definitions, the search engine (understandably) mistakenly assumes I am looking for the definitions of these terms.
  • Maybe there's a rigorous answer for this, but although I hadn't heard the usage Brian uses there, I think I got the point. Things are "covariant" if they vary in the same way preserve direction and contravariant if they reverse it. I don't know if there's a definition, but examples I think of are covariant and contravariant functors ( covariant keep arrows going the same way, contravariant reverse them ), and covariant and contravariant tensors, which transform the same way as derivatives of scalar functions, and contravariant are like differentials, which is sort of opposite. – Callus Nov 26 at 3:00
  • Here is how I think about CO-variant and CON-travariant. CO-variance is when you change with the quantity and CON-travariant is when you change in the opposite with the quantity. These terms become more "motivated" when you learn about tensors on vector spaces. – IAmNoOne Nov 26 at 4:43
up vote 3 down vote accepted

Brian Scott's usage of "covariant" and "contravariant" in that post is (as far as I know) entirely informal and it is not at all standard to use these terms to refer to definitions in the way he did. He's just borrowing the terms from category theory: a covariant functor is a functor that preserves the directions of maps, and a contravariant functor reverses them.

So, when Brian says a definition of continuity is "covariant", he just means informally that it goes in the same "direction" as the map whose continuity you are verifying: you start with something in the domain of the map, and then get something in the codomain codomain after applying the map. For instance, the sequences definition of continuity is covariant: you start with a convergent sequence in the domain, and then its image in the codomain must also converge. On the other hand, a "contravariant" definition is one that starts in the codomain. For instance, he calls the $\epsilon$-$\delta$ definition contravariant because it starts with $\epsilon$ which is relevant to the codomain (it is how close you want $f(x)$ and $f(a)$ to be) and then demands that you can always find a corresponding $\delta$ for the domain. The open sets definition of continuity is similarly contravariant: you start with an open set in the codomain, and then its preimage in the domain must be open.

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.