Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ryo/

(`rx`) Lax co-[R]epresenting object (`yo`) [Y]oneda functor mapping c[O]variantly
`ryo` : target ( source r o ) ( target ( source ( t o ) ( e ) ) ( e ) )

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

This operator is available for functors with multiple parameters:

`ryoi` : target ( source r o ) ( target ( source ( t _ o ) ( e ) ) ( e ) )
`ryio` : target ( source r o ) ( target ( source ( t o _ ) ( e ) ) ( e ) )
`ryoo` : target ( source r o ) ( target ( source ( t o o ) ( e ) ) ( e ) )

Available stretched versions (starting precedence is 7):

`_ryo`, `__ryo`, `___ryo`, `____ryo`, `_____ryo`, `______ryo`