Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Product/

: ( i `P` ii ) ~ ( Product i ii )

Subtypes: Twice, Along.

Product is a limit of Arrow category:

`lo` : a `AR` o `AR______` a `AR` oo `AR_____` a `AR` o `P` oo `lu` : o `AR____` oo `AR___` o `P` oo

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

`yoi` : Product a _ `AR_____` a `AR` o `AR____` Product o _

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

`yio` : Product _ a `AR_____` a `AR` o `AR____` Product _ o

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

`yoikl` : Product a _ `AR___` a `AR_` tt `L` tt `T` ll `L` Product `T` l `T` o `AR_` tt ( Product o _ )

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

`yiokl` : Product _ a `AR___` a `AR_` tt `L` tt `T` ll `L` Product `T` l `T` o `AR_` tt ( Product _ o )