Murat Kasimov

More about me

Я language (β)

/Я language (β)/Morphisms/swap/

Arrow morphism for switching parameters, works if codomain Objective is Product.

> swap : i `P` ii `AR______` ii `P` i > swap : i `P` i `AR___` Twice i > swap : i `P` ii `AR____` Along i ii > swap : Supertype ( Nonempty List i ) `P` i `AR____` Nonempty List i > swap : List ( Tree i ) `P` i `AR____` Tree i

If you want to switch parameters of Sum use not.