Murat Kasimov

More about me

Я language (β)

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

[Y]oneda c[O]variant functor (`yo`) [Y]oneda c[O]variant functor (`yo`) [Y]oneda contr[A]variant functor (`ya`) `yo'yo'ya` : t ( tt ( ttt ( a ) ) `AR__` target ( source o a ) ( t ( tt ( ttt ( o ) ) )

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

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