Murat Kasimov

More about me

Я language (β)

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

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

Covariant Endo Functor from Arrow into Arrow:

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

Covariant Endo Functor from co-Kleisli Arrow into Arrow:

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Factoring through a limit from Arrow into Arrow:

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

Some related instantiated morphisms:

> at : Supertype ( Sliding List i `AT__` List i ) > at : Supertype ( Sliding List i `AT__` Shafted List i ) > shift : Shifter List `AR_____` Supertype ( Event `T'I` Sliding List i `T'I` Maybe ( List i ) )