twist morphism

noun1

1. •
   An isomorphism between a pair of products which have the same components but in swapped order, which isomorphism commutes with the two associated product diagrams.