Category:Isomorphism Preserves Associativity