Precedence: 8
`ys` - [Y]oneda, [S]umHow to read: apply a monoidal natural transformation with sum target category
Looks like a circle with a addition symbol inside.
`ys` : u (t e) (t ee) -> t (e `ML` ee)Precedence: 8
`ys` - [Y]oneda, [S]umHow to read: apply a monoidal natural transformation with sum target category
Looks like a circle with a addition symbol inside.
`ys` : u (t e) (t ee) -> t (e `ML` ee)