Where is the notion of anti-isomorphism useful Let $(S,\cdot)$ and $(T,\circ)$ be semigroups (or some algebraic structure with an operation), then they are anti-isomorphic if there exists some $\varphi : S \to T$ such that 
$$
 \varphi(xy) = \varphi(y) \circ \varphi(x).
$$

Now for what is this notion useful?

The notion of isomorphism is useful as this basically says that isomorphic structures are structurally the same. Anti-Isomorphism in some sense accounts for the order in which we combine elements, so if two structures are isomorphic or anti-isomorphic, what I guess this means is that they are structurally equal without respect to notions which depend on the order of the operation.
In terms of the multiplication table, if we have one set (or a bijection to view both sets as one) and two operations on this set, then both algebraic structures are anti-isomorphic if the transpose (i.e. mirroring it at the diagonal) gets me the other multiplication table.
But all examples that come to my mind are just simple observations, like that the inversion is an anti-isomorphism in every group, or that if we have two finite automata and construct the transformation monoids, we have to choose some order in which we read function composition (from left to right or from right to left), but regardless of what we choose the resulting transformation monoids are anti-isomorphic (but in general not isomorphic).

But despite this mere observations, I do not see where they are really useful; or where this notion is essential?


Not sure if this is relevant, but the category-theoretic notion of anti-isomorphism can be helpful when thinking about orderings:
Consider the category $L$ of subsets of size $r$ of $[n]=\{1,2,\ldots,n\}$, where for $A,B\in L, A\to B$ iff $A\leq B$ in lexicographic order. Then there is an anti-isomorphism $\phi$ from $L$ to the category $C$ of the same sets under colexigraphic order defined by $$\phi(A) = \{n+1-a:a\in A\}.$$
