Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/ryok/

(`rx`) Lax co-[R]epresenting object (`yo`) [Y]oneda functor mapping c[O]variantly (`xk`) Source lax [K]leisli morphism
`ryok` : target ( source r a ) ( target ( source ( a ) ( tt o ) ) ( t o ) )

Looks like a big circle `yi` with a bullet point `ho` inside designating covariant position of a focused parameter equipped with a left wand `rx` designating co-Representing object and a small right hook `xk` designating source Kleisli morphism.

Type declaration with labels arrangement:

`ryok` : target ( source r a ) ( target ( source ( a ) ( tt `L` tt `T` ll `T` o ) ) ( t o ) )