Re:What does it mean for a monad to be strong?
by throwaway17_17 on Monday August 21, 2023 @07:06PM
(#37216546)
I don’t think ‘strength’ requires a Cartesian product. I was under the expression that any tensor product was sufficient, some of which lack Cartesian structure.
[ Parent
| on HN ]
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.