Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/within/

Component of some natural transfromation in Scope category:

> Scope `har` within : t `C'AT__` tt

To run it you need to provide labels, for example: Adapt.

For components in Arrow use mutate, for components in Event use switch.