Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/yokl/

(`yo`) [Y]oneda functor mapping c[O]variantly (`xk`) Source lax [K]leisli morphism (`xl`) Target lax K[L]eisli morphism
`yokl` : target ( t a ) ( target ( source ( a ) ( tt o ) ) ( tt ( t a ) )

Looks like a big circle `yi` with a bullet point `ho` inside designating covariant position of a focused parameter equipped equipped with a small hook `xk` designating source lax Kleisli morphism and a big hook `xl` designating target lax Kleisli morphism.

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

`yoikl` : target ( t a _ ) ( target ( source ( a ) ( tt o ) ) ( t o _ ) )
`yiokl` : target ( t _ a ) ( target ( source ( a ) ( tt o ) ) ( t _ o ) )

Type declaration with labels arrangement:

`yokl` : target ( t a ) ( target ( source ( a ) ( tt `L` tt `T` ll `L` t `T` l `T` o ) ) ( t o ) )

Available stretched versions (starting precedence is 7):

`yokl_`, `yokl__`, `yokl___`, `yokl____`