Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ya/

`ya` - [Y]oneda Contr[A]variant | starting precedence - 8 `ya` : t a `AR__` into ( from o a ) ( t o )

Looks like a big circle `yi` with an empty smalll circle `ha` inside designating contravariant position of a focused parameter.

This operator is available for functors with multiple parameters:

`yia` - [Y]oneda [I]dentity Contr[A]variant | starting precedence - 7 `yia` : t _ a `AR__` into ( from o a ) ( t _ o ) `yai` - [Y]oneda Contr[A]variant [I]dentity | starting precedence - 7 `yai` : t a _ `AR__` into ( from o a ) ( t o _ )

Available stretched versions:

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