5 ms·
In 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
by hhmc 8y ago
In 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