Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/yo/

[Y]oneda functor mapping c[O]variantly
`yo` : target ( t a ) ( target ( source ( a ) ( o ) ) ( t o ) )

Looks like a big circle `yi` with a bullet point `ho` inside designating covariant position of a focused parameter equipped.

Original mapping of derived functor definition:

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

This operator is available for functors with multiple parameters:

`yoi` : target ( t a _ ) ( target ( source ( a ) ( o ) ) ( t o _ ) )
`yio` : target ( t _ a ) ( target ( source ( a ) ( o ) ) ( t _ o ) )
`yoo` : target ( t a a ) ( target ( source ( a ) ( o ) ) ( t o o ) )

Available stretched versions (starting precedence is 8):

`yo_`, `yo__`, `yo___`, `yo____`, `yo_____`