摘要： $\varphi \ast 1= \operatorname{id}$ $\mu \ast 1 = \varepsilon$ $\mu \ast \operatorname{id} = \varphi$，证明 ~~$\operatorname{id} \ast \operatorname{id}=1 阅读全文