Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Shafted Tree/

: ( Shafted Tree i ) ~ ( Alone `P'T'I'TT'I` Shafted List `T'TT'I` Tree )

Covariant Endo Functor from Arrow into Arrow:

> `yo` : Shafted Tree a `AR_______` a `AR` o `AR______` Shafted Tree o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

> `yokl` : Shafted Tree a `AR_____` a `AR` tt o `AR______` tt ( Shafted Tree o )

Factoring through a limit from Arrow into Arrow:

> `lo` : a `AR_` Alone o `AR_______` a `AR_` Shafted List `T'TT'I` Tree `T'I_` o `AR_______` a `AR_` Shafted Tree o