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 `AR____` a `AR_` List `L` List `T` ll `T` o `AR_` List

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

`yokl` : List a `AR___` a `AR_` tt `L` tt `T` ll `L` List `T` l `T` o `AR_` tt ( List o )

Lax Semi Monoidal Functor from Product into Product through Arrow:

`yp` : ( List i ) `P` ( List `L` List `T` l `T` ii ) `AR___` List ( i `P` ii )

Lax Semi Monoidal Functor from Product into Rather through Arrow:

`yr` : ( List i ) `P` ( List `L` List `T` l `T` ii ) `AR___` List ( i `R` ii )

Factoring through a colimit from Arrow into Arrow:

`la` : Unit `AR` o `AR___` Nonempty List a `AR` o `AR__` List a `AR` o

Some related 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