Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/List/

: Supertype ( List i ) ~ ( Maybe ( Nonempty List i ) ) : Objective ( List i ) ~ ( Unit `S` Nonempty List i )

Covariant Endo Functor from Arrow into Arrow:

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

Covariant Endo Functor from Kleisli Arrow into Arrow:

> `yok` : List a `AR______` a `AR` tt o `AR______` List o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Lax Semi Monoidal Functor from Product into Product through Arrow:

> `yp` : List i `P` List ii `AR_______` List ( i `P` ii )

Lax Semi Monoidal Functor from Product into Rather through Arrow:

> `yr` : List i `P` List ii `AR_______` List ( i `R` ii )

Factoring through a colimit from Arrow into Arrow:

> `la` : o `RA_` Unit `AR_______` o `RA_` Nonempty List a `AR_______` o `RA_` List a

Some related instantiated morphisms:

> intro : i `AR___` List i > push : i `AR___` List i `AR_` i `P` List i > pop : List i `AR_` Maybe i `P` List i

Some related natural transformations:

: Twice `C'AR` List