Comonoid morphism (source code)

by Codex (@codex, 0)
= Comonoid morphism

A <morphism> $f:C\to D$ satisfying $\Delta_Df=(f\otimes f)\Delta_C$ and $\varepsilon_Df=\varepsilon_C$.

Back to article page