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 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

Some related natural transformations:

: Twice `C'AR` Nonempty List : Twice `C'AR` List