Precedence: 8
`yp` - [Y]oneda, [P]roduct
How to read: apply a monoidal natural transformation with product target category.
Looks like a circle with a multiplication symbol inside.
`yp` : u (t e) (t ee) -> t (e `P` ee)
Often used with lu operator:
Some 0 `lu'yp` Some 1 `AR__` Some (0 `lu` 1)
None _ `lu'yp` Some 1 `AR__` None _
Some 1 `lu'yp` None _ `AR__` None _
None _ `lu'yp` None _ `AR__` None _