Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/yuk/

[Y]oneda through [U]nit (`yu`) source [K]leisli category (`xk`) `yuk` : t a `AR____` target ( tt o ) ( t o )

Looks like a big circle `yi` with a dot `hu` inside designating covariantly factoring focused parameter through Unit object with a small hook `xk` designating source Kleisli category.

Original mapping of derived functor definition:

: ( tt o ) `AR____` target ( t a ) ( t o )

This operator is available for functors with multiple parameters:

`yuik` : t a _ `AR____` target ( tt o ) ( t o _ ) `yiuk` : t _ a `AR____` target ( tt o ) ( t _ o )

Type declaration with labels arrangement:

`yuk` : t a `AR__` target ( tt `L` tt `T` ll `T` o ) ( t o )

Available stretched versions (starting precedence is 7):

`yuk_` `yuk__` `yuk___` `yuk____` `yuk_____` `yuk______`