Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Along/

: Supertype ( Along i ii ) ~ ( ii `P` i ) : Basetype ( Along i ii ) ~ ( ii `P` i ) > Along : ii `P` i `AR__` Along i ii

Covariant Functor from Arrow into Arrow:

> `yo` : Along _ a `AR_______` a `AR` o `AR______` Along _ o

Covariant Functor from Kleisli Arrow into Arrow:

> `yok` : Along _ a `AR______` a `AR` tt o `AR______` Along _ o

Covariant Functor from Kleisli Arrow into Kleisli Arrow:

> `yokl` : Along _ a `AR_____` a `AR` tt o `AR______` tt ( Along _ o )

Lax Semi Monoidal Functor from Product into Product through Arrow:

> `yp` : Along _ ( i ) `P` Along _ ( ii ) `AR_______` Along _ ( i `P` ii )

Lax Semi Monoidal Functor from Product into Sum through Arrow:

> `ys` : Along _ ( i ) `P` Along _ ( ii ) `AR_______` Along _ ( i `S` ii )

Covariant Functor from Arrow into Arrow with representing objects:

> `yor` : Along i o `AR___` Unit `AR` o