Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Sum/

: ( i `S` ii ) ~ ( Sum i ii ) > This : i `AR_____` i `S` ii > That : ii `AR____` i `S` ii > `tb` : i `S` ii `AR______` Opted i > `tb` : Unit `S` Unit `AR_` Boolean > `tb` : Unit `S` i `AR____` Maybe i > `tb` : i `S` ii `AR______` Stops i ii > `tb` : i `S` ii `S__` i `P` ii `AR____` Whether i ii > `tb` : i `S` Supertype ( Instruction t i ) `AR____` Instruction t i

Sum is a colimit of Arrow category:

> `has` : o `RA_` a `AR_______` o `RA_` aa `AR_______` o `RA_` a `S` aa

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

> `yoi` : Sum a _ `AR_______` a `AR` o `AR______` Sum o _

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

> `yio` : Sum _ a `AR_______` a `AR` o `AR______` Sum _ o

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

> `yoikl` : Sum a _ `AR_____` a `AR` tt o `AR______` tt ( Sum o _ )

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

> `yiokl` : Sum _ a `AR_____` a `AR` tt o `AR______` tt ( Sum _ o )