用Adjunction構造Monad [9XIR]

有個跟adjunction緊密聯繫的概念是monad，我們這邊直接看adjunction如何構成monad。給定 $L \dashv R$，有以下構造

因此 $R \circ L$ 是一個monad

偏數學的案例我目前只想得到adjunction構造的monad，在電腦科學裡面monad的用途是表示程式中的effects（參考 [Moggi1991]）