Я ☞ Operators ☞ yp

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` Every `hv` Some 1 ===> Some (0 `lu` 1)
None _ `lu'yp` Every `hv` Some 1 ===> None _
Some 1 `lu'yp` Every `hv` None _ ===> None _
None _ `lu'yp` Every `hv` None _ ===> None _