0
Wikipedia says
In category theory, a monoid (or monoid object) $(M, μ, η)$ in a
monoidal category $(C, ⊗, I)$ is an object $M$ together with two
morphisms
$μ: M ⊗ M → M$ called multiplication,
$η: I → M$ called unit,
Is it correct that the definitions of $\mu$ and $\eta$ ar...