Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Maybe/

: ( Halts i ) ~ ( Stops Unit i ) ~ ( Maybe i ) : Supertype ( Maybe i ) ~ Objective ( Maybe i ) ~ ( Unit `S` i )

Covariant Endo Functor from Arrow into Arrow:

`yo` : Maybe a `AR_____` a `AR` o `AR____` Maybe o

Covariant Endo Functor from Kleisli Arrow into Arrow:

`yok` : Maybe `AR____` a `AR_` Maybe `L` Maybe `T` ll `T` o `AR_` Maybe

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Lax Semi Monoidal Functor from Product into Product through Arrow:

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

Lax Semi Monoidal Functor from Product into Sum through Arrow:

`ys` : ( Maybe i ) `P` ( Maybe `L` Maybe `T` l `T` ii ) `AR___` Maybe ( i `S` ii )

Factoring through a colimit from Arrow into Arrow:

`la` : Unit `AR` i `AR___` a `AR` i `AR__` Maybe a `AR` i

Some related morphisms:

intro : i `AR___` Maybe i empty : Maybe i