 The construction of the opposite category generalizes the opposite group, opposite ring, etc.The free algebra formula_1 over a field formula_2 with generators formula_3 has multiplication from the multiplication of words.For example,

Then the opposite algebra has multiplication given by

which are not equal elements.