Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Rather/

: ( i `R` ii ) ~ ( Rather i ii ) : Supertype ( Rather i 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` : i `S` ii `AR` o `AR___` i `P` ii `AR` o `AR__` Rather a aa `AR` o