Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/yak/

(`ya`) [Y]oneda functor mapping contr[A]variantly (`xk`) Source lax [K]leisli morphism
`yak` : target ( t a ) ( target ( source ( o ) ( tt a ) ) ( t o ) )

Looks like a big circle `yi` with a bullet point `ha` inside designating contravariant position of a focused parameter equipped with a small hook `xk` designating source lax Kleisli morphism.

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

`yaik` : target ( t a _ ) ( target ( source ( o ) ( tt a ) ) ( t o _ ) )
`yiak` : target ( t _ a ) ( target ( source ( o ) ( tt a ) ) ( t _ o ) )

Type declaration with labels arrangement:

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

Available stretched versions (starting precedence is 7):

`yak_`, `yak__`, `yak___`, `yak____`, `yak_____`