& B\ar[d]^{\varepsilon}\\ K\otimes K\ar[r]^-{m_{0}}_-{\simeq} & K } \xymatrix{ K\ar[r]^{u} & B\ar[d]^{\varepsilon}\\ & K\ar@{-}[lu]^{\mathrm{id}} } English...
