Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/to/

Component of some natural transfromation in Arrow category:

> to : forall t tt . t `L` tt `T` _ `T` i `AR_____` tt `T` i

To run it you need to provide some label first, for example: Adapt.