Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Rather/

: ( i `R` ii ) ~ ( Rather i ii ) : Supertype ( Rather i ii ) ~ ( ( i `S` ii ) `S` ( i `P` ii ) ) : Objective ( Rather i ii ) ~ ( ( i `S` ii ) `S` ( i `P` ii ) )

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

> `yoi` : Rather a _ `AR_______` a `AR` o `AR______` Rather o _

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

> `yio` : Rather _ a `AR_______` a `AR` o `AR______` Rather _ o

Factoring through a colimit from Arrow into Arrow:

> `la` : o `RA_` a `S` aa `AR_______` o `RA_` a `P` aa `AR_______` o `RA_` Rather a aa