Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Product/

: ( i `P` ii ) ~ ( Product i ii ) > These : i `AR____` ii `AR___` i `P` ii

Subtypes: Twice, Along, P'T'I'TT'I.

Product is a limit of Arrow category:

> `hop` : a `AR_` o `AR_______` a `AR_` oo `AR_______` a `AR_` o `P` oo

Covariant Functor from Arrow into Arrow (1/2 argument):

> `yoi` : Product a _ `AR_______` a `AR` o `AR______` Product o _

Covariant Functor from Arrow into Arrow (2/2 argument):

> `yio` : Product _ a `AR_______` a `AR` o `AR______` Product _ o

Covariant Functor from Kleisli Arrow into Kleisli Arrow (1/2 argument):

> `yoikl` : Product a _ `AR_____` a `AR` tt o `AR______` tt ( Product o _ )

Covariant Functor from Kleisli Arrow into Kleisli Arrow (2/2 argument):

> `yiokl` : Product _ a `AR_____` a `AR` tt o `AR______` tt ( Product _ o )

Covariant Functor from Arrow into Arrow with representing objects:

> `yoir` : Product o _ `AR______` Unit `AR` o > `yior` : Product _ o `AR______` Unit `AR` o > `yoor` : Product o o `AR______` Unit `S` Unit `AR` o