Murat Kasimov

More about me

Я language (β)

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

: ( Scrolling List ) ~ ( Alone `P'T'I'TT'I` Shafted List ) : Supertype ( Scrolling List i ) ~ ( Alone i `P` Shafted List i ) : Objective ( Scrolling List i ) ~ ( Alone i `P` Shafted List i )

Covariant Endo Functor from Arrow into Arrow:

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

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Factoring through a limit from Arrow into Arrow:

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

Some related instantiated morphisms:

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

Some related natural transformations:

: Scrolling List `C'AR` Nonempty List : Nonempty List `C'AR` Scrolling List

Available behaviour: Forth, Range, Level, Focus.