Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/kyo/

source co-[K]leisli category (`kx`) [Y]oneda c[O]variant functor (`yo`) `kyo` : t a `AR____` 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 category.

Original mapping of derived functor definition:

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

Type declaration with labels arrangement:

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