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