Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Along/

: Supertype ( Along i ii ) ~ Objective ( Along i ii ) ~ ( ii `P` i )

Covariant Endo Functor from Arrow into Arrow:

`yo` : Along _ a `AR_____` a `AR` o `AR____` Along _ o

Covariant Endo Functor from Kleisli Arrow into Arrow:

`yok` : Along _ `AR____` a `AR_` Along _ `L` Along _ `T` ll `T` o `AR_` Along _

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Lax Semi Monoidal Functor from Product into Product through Arrow:

`yp` : ( Along _ i ) `P` ( Along _ `L` Along _ `T` l `T` ii ) `AR___` Along _ ( i `P` ii )

Lax Semi Monoidal Functor from Product into Sum through Arrow:

`ys` : ( Along _ i ) `P` ( Along _ `L` Along _ `T` l `T` ii ) `AR___` Along _ ( i `S` ii )

Factoring through a limit from Arrow into Arrow:

`lo` : a `AR` oo `AR___` a `AR` o `AR__` a `AR` Along o oo