６．５ 随伴とモナド ストリング・ダイアグラムを用いて、随伴からモナドが導き出されることを示そう。前述したように随伴は、二つの圏\(\mathcal{C,D}\)と関手\(L:\mathcal{D} \rightarrow \mathcal{C}, R:\mathcal{C} \rightarrow \mathcal{D}\)で構成され…