Hopf-Algebra/Neutrales Element/Diagramm

${\begin{matrix}H&{\stackrel {\Delta }{\longrightarrow }}&H\otimes _{K}H&\\&\!\!\!\!\!\cong \searrow &\downarrow \epsilon \otimes \operatorname {Id} _{H}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!&\\&&K\otimes _{K}H&\!\!\!\!\!\!\!\!\\\end{matrix}}$