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 o `AR______` tt ( Opted o )

Factoring through a colimit from Arrow into Arrow:

> `la` : o `RA_` a `AR_______` o `RA_` a `AR_______` o `RA_` Opted a

Some related wrappers:

> Opted : i `S` i `AR__` Opted i

Some related instantiated morphisms:

> outro : Opted i `AR___` i