3 ms·
A contravariant object transforms like a vector. A covariant object transforms like the gradient of a scalar.
by genug 11y ago
A contravariant object transforms like a vector.
A covariant object transforms like the gradient of a scalar.
- Macha 11y agoI understand these words, but not in the combination used. I guess this is really simple to people with the nessecary maths background to understand this, but for me I just don't see the connection between vectors/gradients and type systems.
- cygx 11y agoI just don't see the connection between vectors/gradients and type systems There isn't really one besides the terminology.
- genug 11y agoI don't think there is any connection. But since the submission was titled "covariant and contravariant" without any kind of context, it seemed appropriate that we could all share our own personal ideas about what these words were supposed to mean.
- Macha 11y agoOk. the source of the confusion for me then was that I was not previously aware that covariant and contravariant were terms that could be applied to vectors.