Added a generalization of star-algebras from the category of modules to general monoidal categories

Anonymouse

]]>I have added the condition that $1^\ast = 1$, which seems to have been missing (given the way the definition appears in the entry, without first defining star-rings — which might deserve to be re-written).

]]>I expanded a little under “Examples – General” (here), mentioning basics such as trivial star-structure, complex conjugation on complex numbers, quaternions, etc., and Cayley-Dickson construction.

]]>I have made explicit the example of involutive Hopf algebras, and how most of the other examples previously listed here are special cases of this one. Also expanded a little and organized it all into a new Examples-subsection (here)

]]>