Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ya/

[Y]oneda contr[A]variant functor `ya` : t a `AR____` target ( source ( o ) ( a ) ) ( t o )

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

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

`yai` : t a _ `AR____` target ( source ( o ) ( a ) ) ( t o _ ) `yia` : t _ a `AR____` target ( source ( o ) ( a ) ) ( t _ o )

Available stretched versions (starting precedence is 8):

`ya_` `ya__` `ya___` `ya____` `ya_____` `ya______`