I asked this initially in [math.stackexchange](https://math.stackexchange.com/questions/894399/identities-that-connect-antipode-with-multiplication-and-comultiplication):


The group algebra $k(G)$ of any group $G$ satisfies as a Hopf algebra the following identities:
$$
S\otimes S\circ \Delta=\sigma\circ\Delta\circ S
$$
$$
\nabla\circ S\otimes S=S\circ\nabla\circ\sigma
$$
where $S$ is the antipode, $\Delta$, the comultiplication, $\nabla$, the multiplication, and $\sigma:x\otimes y\mapsto y\otimes x$. 


Is this valid for all Hopf algebras (in any braided monoidal category) or only for some special class?



Identities that connect antipode with multiplication and comultiplication
This also holds in an arbitrary braided monoidal category and is not hard to see. See for example Majid: Foundations of quantum group theory. He gives a graphical calculus proof of this in Figure 9.14.
Strictly speaking, you need to turn this proof upside down (i.e. dualize) to get the corresponding identity for the comultiplication.
There are two notions of anti-(co)algebra homomorphism in a braided monoidal category. One involving the braiding, one its inverse. For example, $S^{-1}$ is also an anti-(co)algebra morphism but involves the inverse braiding.


