Murat Kasimov

More about me

Я language (β)

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

[Y]oneda functor mapping contr[A]variantly (`ya`) [S]uper[T]ype relation (`st`) `ya'st` : t a `AR____` target ( source ( Supertype 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 ( Supertype o ) ( a ) `AR____` target ( t a ) ( t o )

Available stretched versions (starting precedence is 8):

`ya_'st`, `ya__'st`, `ya___'st`, `ya____'st`, `ya_____'st`, `ya______'st`