Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/yor/

(`yo`) [Y]oneda functor mapping c[O]variantly (`xr`) Lax [R]epresenting object
`yor` : target ( t o ) ( source r o )

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

This operator is available for functors with multiple parameters:

`yoir` : target ( t o _ ) ( source r o )
`yior` : target ( t _ o ) ( source r o )
`yoor` : target ( t o o ) ( source r o )

Available stretched versions (starting precedence is 7):

`yor_`