Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Stops/

: Supertype ( Stops i ii ) ~ Objective ( Stops i ii ) ~ ( i `S` ii )

Covariant Endo Functor from Arrow into Arrow:

`yo` : Stops _ a `AR_____` a `AR` o `AR____` Stops _ o

Covariant Endo Functor from Kleisli Arrow into Arrow:

`yok` : Stops _ `AR____` a `AR_` Stops _ `L` Stops _ `T` ll `T` o `AR_` Stops _

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Lax Semi Monoidal Functor from Product into Product through Arrow:

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

Lax Semi Monoidal Functor from Product into Sum through Arrow:

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

Factoring through a colimit from Arrow into Arrow:

`la` : a `AR` o `AR___` aa `AR` o `AR__` Stops a aa `AR` o