 Comonoid morphism

ID: comonoid-morphism

f : C \to D

satisfying

Δ_{D} f = (f \otimes f) Δ_{C}

and

ε_{D} f = ε_{C}

 New to topics? Read the docs here!