Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/rya/

(`rx`) Lax co-[R]epresenting object (`ya`) [Y]oneda functor mapping contr[A]variantly
`rya` : target ( source a r ) ( target ( source ( t a ) ( e ) ) ( e ) )

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

This operator is available for functors with multiple parameters:

`ryai` : target ( source a r ) ( target ( source ( t _ a ) ( e ) ) ( e ) )
`ryia` : target ( source a r ) ( target ( source ( t a _ ) ( e ) ) ( e ) )
`ryaa` : target ( source a r ) ( target ( source ( t a a ) ( e ) ) ( e ) )

Available stretched versions (starting precedence is 7):

`_rya`, `__rya`, `___rya`, `____rya`, `_____rya`, `______rya`