Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Twice/

: Supertype ( Twice i ) ~ Objective ( Twice i ) ~ ( i `P` i )

Covariant Endo Functor from Arrow into Arrow:

`yo` : Twice a `AR_____` a `AR` o `AR____` Twice o

Covariant Endo Functor from Kleisli Arrow into Kleisli Arrow:

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

Factoring through a limit from Arrow into Arrow:

`lo` : a `AR` o `AR___` a `AR` o `AR__` a `AR` Twice o `lu` : o `AR___` o `AR__` Twice o