Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Arrow/

: ( i `AR` ii ) ~ ( ii `RA` i ) ~ ( Arrow i ii )

Subtypes: Scope, Event, Match.

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

> `ha` : Arrow a _ `AR______` a `RA` o `AR______` Arrow o _

Contravariant Endo Functor from Arrow into Arrow (1/2 argument) factoring through Void:

> `hv` : Arrow a o `AR______` Arrow a o

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

> `ho` : Arrow _ a `AR______` a `AR` o `AR______` Arrow _ o

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

> `hu` : Arrow _ o `AR______` o `AR______` Arrow _ o