 Monoid morphism

ID: monoid-morphism

f : A \to B

satisfying

f m_{A} = m_{B} (f \otimes f)

and

f j_{A} = j_{B}

 New to topics? Read the docs here!