Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Opted/

: Supertype ( Opted i ) ~ Objective ( Opted i ) ~ ( i `S` i )

Covariant Endo Functor from Arrow into Arrow:

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

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Factoring through a colimit from Arrow into Arrow:

`la` : a `AR` o `AR___` a `AR` o `AR__` Opted a `AR` o