随伴F\dashv Uから定まる自然変換\varepsilon: FU\to\mathrm{Id}_\mathscr{A}のこと

余単位が自然変換であることの証明

単位#5f5b87f2198270000094ab3fとほぼ同じ

参考

『圏論入門』 pp.151-152