Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/fetch/

> fetch : i `AR_` i `P` i

You can subtype this Arrow morphism into Event:

> Event `har` fetch : i `TR___` i