Murat Kasimov

More about me

Я language (β)

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

: Supertype ( Shafted List i ) ~ Objective ( Shafted List i ) ~ ( List i `P` List i )

Covariant Endo Functor from Arrow into Arrow:

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

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Factoring through a limit from Arrow into Arrow:

> `lo` : a `AR_` List o `AR_______` a `AR_` List o `AR_______` a `AR_` Shafted List o

Some related natural transformations:

: Shafted List `C'AR` List : List `C'AR` Shafted List

Some related instantiated morphisms:

> empty : Shafted List i