Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/not/

Arrow morphism for switching parameters, works if domain Objective is Sum.

not : i `S` ii `AR______` ii `S` i not : Stops i ii `AR___` ii `S` i not : Maybe i `AR____` i `S` Unit not : List i `AR____` Nonempty List i `S` Unit

If you want to switch parameters of Product use swap.