Murat Kasimov

More about me

Я language (β)

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

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

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

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