*-代数 [星代数]百科SimplicialCat 一个 *-代数是一个交换 (或非交换), 结合 (或非结合) 代数 $A$, 具有一个反对合 (anti-involution) $(-)^*\colon A \to A$, 满足 $(ab)^* = b^* a^*$, $(a^*)^* = a$, $1^*=1$.