Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ya'ya/

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

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

`yia'ya` : t _ ( tt a ) `AR__` target ( source a o ) ( t _ ( tt o ) ) `yai'ya` : t ( tt a ) _ `AR__` target ( source a o ) ( t ( tt o ) _ ) `ya'yia` : t ( tt _ a ) `AR__` target ( source a o ) ( t ( tt _ o ) ) `ya'yai` : t ( tt a _ ) `AR__` target ( source a o ) ( t ( tt o _ ) ) `yia'yia` : t _ ( tt _ a ) `AR__` target ( source a o ) ( t _ ( tt _ o ) ) `yai'yai` : t ( tt a _ ) _ `AR__` target ( source a o ) ( t ( tt o _ ) _ ) `yai'yia` : t ( tt _ a ) _ `AR__` target ( source a o ) ( t ( tt _ o ) _ ) `yia'yai` : t _ ( tt a _ ) `AR__` target ( source a o ) ( t _ ( tt o _ ) )

Available stretched versions (starting precedence is 8):

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