余単位
counit
とある自然変換
随伴$ F\dashv Uから定まる自然変換$ \varepsilon: FU\to\mathrm{Id}_\mathscr{A}のこと
https://gyazo.com/6c20e0b8f5a5c8837202be3c15e0abd1
余単位が自然変換であることの証明
単位#5f5b87f2198270000094ab3fとほぼ同じ
参考
『圏論入門』 pp.151-152