Murat Kasimov

More about me

Я language (β)

/Я language (β)/Primitives/Event/

: ( i `TR` ii ) ~ ( ii `RT` i ) ~ ( Event i ii ) ~ ( Transition i ii ) > Event : i `AR_` ii `P` i `AR____` Event i ii > `st` : Event i ii `AR_______` i `AR_` ii `P` i > `bt` : Event i ii `AR_______` i `AR_` ii `P` i > `ts` : Event i ii `AR_______` State i ii

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

> `yai` : Event a _ `AR_______` a `TA` o `AR______` Event o _

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

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