Counit of an adjunction ($\epsilon :FG\Rightarrow 1$)

For $F⊣G$, the counit is the natural transformation $\epsilon :FG\Rightarrow 1$ corresponding to the identity of $GY$ under the adjunction at each $Y$. It participates in the triangle identities for an adjunction.