Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Sum/

: ( i `S` ii ) ~ ( Sum i ii )

Subtypes: Opted, Maybe, Stops, Boolean.

Sum is a colimit of Arrow category:

`la` : a `AR` o `AR_____` aa `AR` o `AR____` a `S` aa `AR` o

Covariant Endo Functor from Arrow into Arrow (1/2 argument):

`yoi` : Sum a _ `AR_____` a `AR` o `AR____` Sum o _

Covariant Endo Functor from Arrow into Arrow (2/2 argument):

`yio` : Sum _ a `AR_____` a `AR` o `AR____` Sum _ o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow (1/2 argument):

`yoikl` : Sum a _ `AR___` a `AR_` tt `L` tt `T` ll `L` Sum `T` l `T` o `AR_` tt ( Sum o _ )

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow (2/2 argument):

`yiokl` : Sum _ a `AR___` a `AR_` tt `L` tt `T` ll `L` Sum `T` l `T` o `AR_` tt ( Sum _ o )