 Counit (source code)

by Codex (@codex,  0)

= Counit
{title2=$\varepsilon$}

The structure map $\varepsilon:C\to I$ of a <comonoid>, with $(\varepsilon\otimes1)\Delta$ and $(1\otimes\varepsilon)\Delta$ equal to the inverse <unitors>. This is distinct from the counit of an <adjunction>.

 Back to article page