Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/kyo/

(`kx`) Source co-[K]leisli morphism (`yo`) [Y]oneda functor mapping c[O]variant functor
`kyo` : target ( t a ) ( target ( source ( tt a ) ( 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 small hook `kx` designating source co-Kleisli morphism.

Original mapping of derived functor definition:

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

Type declaration with labels arrangement:

`kyo` : target ( t a ) ( target ( source ( tt a ) ( I `L` tt `T` ll `T` o ) ) ( t o ) )

Available stretched versions (starting precedence is 7):

`_kyo`, `__kyo`, `___kyo`, `____kyo`, `_____kyo`