Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/yo/

[Y]oneda c[O]variant functor `yo` : t a `AR____` target ( source ( a ) ( o ) ) ( t o )

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

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

`yoi` : t a _ `AR____` target ( source ( a ) ( o ) ) ( t o _ ) `yio` : t _ a `AR____` target ( source ( a ) ( o ) ) ( t _ o )

Available stretched versions (starting precedence is 8):

`yo_` `yo__` `yo___` `yo____` `yo_____` `yo______`