4 ms·
This seems pretty unrelated to the idea of covariant and contravariant four-vectors in relativity and electromagnetism. I wonder if there's some clever and insi
by ramshorns 8y ago
This seems pretty unrelated to the idea of covariant and contravariant four-vectors in relativity and electromagnetism. I wonder if there's some clever and insightful connection, or if it's more that the words just mean "varies together" and "varies oppositely".
- hhmc 8y agoIn this case the terminology is by way of, roughly speaking type theory <- domain theory <- category theory Perhaps one can draw a link from the latter to the operators in electromagnetism.
- ramshorns 8y agoCool. It looks like the one place I'd seen these terms used is a subcategory of one of a few different but related uses. https://en.wikipedia.org/wiki/Covariance_and_contravariance https://en.wikipedia.org/wiki/Covariance_and_contravariance