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.