2 ms·
It's not a coincidence. The terms “covariance” and “contravariance” ultimately come from category theory.
by catnaroek 9y ago
It's not a coincidence. The terms “covariance” and “contravariance” ultimately come from category theory.
- jacobolus 9y agoAccording to Wikipedia: > The terms "covariant" and "contravariant" were introduced by James Joseph Sylvester in 1853 in the context of algebraic invariant theory, where, for instance, a system of simultaneous equations is contravariant in the variables. https://www.jstor.org/stable/108572 https://www.jstor.org/stable/108572
- kmill 9y agoNext you're going to say "natural," "functor," and "category" come from category theory, too! :-)