Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/within/

Component of some natural transfromation in Scope category:

> Scope `har` within : t `L` _ `T` _ `C'AT__` tt

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

For components in Arrow use derive, for components in Event use happen.