Murat Kasimov

More about me

Я language (β)

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

(`ya`) [Y]oneda functor mapping contr[A]variantly (`ya`) [Y]oneda functor mapping contr[A]variantly
`ya'ya` : target ( t ( tt a ) ) ( 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` : target ( t _ ( tt a ) ) ( target ( source a o ) ( t _ ( tt o ) ) )
`yai'ya` : target ( t ( tt a ) _ ) ( target ( source a o ) ( t ( tt o ) _ ) )
`ya'yia` : target ( t ( tt _ a ) ) ( target ( source a o ) ( t ( tt _ o ) ) )
`ya'yai` : target ( t ( tt a _ ) ) ( target ( source a o ) ( t ( tt o _ ) ) )
`yia'yia` : target ( t _ ( tt _ a ) ) ( target ( source a o ) ( t _ ( tt _ o ) ) )
`yai'yai` : target ( t ( tt a _ ) _ ) ( target ( source a o ) ( t ( tt o _ ) _ ) )
`yai'yia` : target ( t ( tt _ a ) _ ) ( target ( source a o ) ( t ( tt _ o ) _ ) )
`yia'yai` : target ( t _ ( tt a _ ) ) ( 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`