Murat Kasimov

More about me

Я language (β)

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

: Supertype ( Nonempty List i ) ~ ( Recursive ( Branching Product Maybe i ) ) : Objective ( Nonempty List i ) ~ ( i `P` Supertype ( Nonempty List i ) ) : ( Nonempty List i ) ~ ( Construction Maybe i )

Covariant Endo Functor from Arrow into Arrow:

`yo` : Nonempty List a `AR_____` a `AR` o `AR____` Nonempty List o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Lax Semi Monoidal Functor from Product into Product through Arrow:

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

Lax Semi Monoidal Functor from Product into Rather through Arrow:

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

Factoring through a limit from Arrow into Arrow:

`lo` : a `AR` o `AR___` a `AR` Supertype ( Nonempty List o ) `AR__` a `AR` Nonempty List o `lu` : o `AR___` Supertype ( Nonempty List o ) `AR__` Nonempty List o

Some related morphisms:

intro : i `AR___` Nonempty List i push : i `AR___` Nonempty List i `AR_` i `P` Nonempty List i pop : Nonempty List i `AR_` Maybe i `P` Nonempty List i top : Supertype ( Nonempty List i `AT__` i )