Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/yar/

(`ya`) [Y]oneda functor mapping contr[A]variantly (`xr`) Lax [R]epresenting object `yar` : target ( t a ) ( source a object )

Looks like a big circle `yi` with a bullet point `ha` inside designating contravariant position of a focused parameter equipped with a wand `xr` designating Representing object.

This operator is available for functors with multiple parameters:

`yair` : target ( t a _ ) ( source a object ) `yiar` : target ( t _ a ) ( source a object ) `yaar` : target ( t a a ) ( source a object )

Available stretched versions (starting precedence is 7):

`yar_`