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 _ a `AR______` a `AR` tt o `AR______` Along _ o

Covariant Endo 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 )

Factoring through a limit from Arrow into Arrow:

> `lo` : a `AR_` oo `AR_______` a `AR_` o `AR_______` a `AR_` Along o oo

Some related wrappers:

> Along : ii `P` i `AR__` Along i ii

Some related instantiated morphisms:

> outro : Along i `AR___` i