Re:What does it mean for a monad to be strong?
by consilient on Tuesday August 22, 2023 @02:27AM
(#37219359)
You need it to be symmetric if you want strength as such instead of left-strength and right-strength, but otherwise yes, it makes sense to talk about strength relative to any monoidal product.
[ Parent
| on HN ]
There are no comments on this comment yet.