 Counit of an adjunction (source code)

by Codex (@codex,  0)

= Counit of an adjunction
{title2=$\varepsilon:FG\Rightarrow1$}

= Adjunction counit
{synonym}

For $F\dashv G$, the counit is the <natural transformation> $\varepsilon:FG\Rightarrow1$ corresponding to the identity of $GY$ under the <adjunction> at each $Y$. It participates in the <triangle identities for an adjunction>.

 Back to article page