Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ya/

[Y]oneda functor mapping contr[A]variantly
`ya` : target ( t a ) ( target ( source ( o ) ( a ) ) ( t o ) )

Looks like a big circle `yi` with a bullet point `ha` inside designating contravariant position of a focused parameter.

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

`yai` : target ( t a _ ) ( target ( source ( o ) ( a ) ) ( t o _ ) )
`yia` : target ( t _ a ) ( target ( source ( o ) ( a ) ) ( t _ o ) )
`yaa` : target ( t a a ) ( target ( source ( o ) ( a ) ) ( t o o ) )

Available stretched versions (starting precedence is 8):

`ya_`, `ya__`, `ya___`, `ya____`, `ya_____`