4 ms·
This is likely the same as a distributive law of monads... https://ncatlab.org/nlab/show/distributive+law https://ncatlab.org/nlab/show/distributive+law on good
by mathgenius 2y ago
This is likely the same as a distributive law of monads... https://ncatlab.org/nlab/show/distributive+law https://ncatlab.org/nlab/show/distributive+law on good days i might understand this stuff..
Another less high-brow connection: associativity of matrix multiplication relies on the usual distributivity law..
- 082349872349872 2y agoYes: the requirement of commutativity in the "addition" for distributivity to work with a noncommutative "multiplication" is exactly why my current model for code* is based on an (anathema to practicing programmers) unordered choice. * and also data; with suitable choices of definitions there are very few differences between the left and right hand arguments to application.