全くの初心者で申し訳ないのですが、
Monadの定義()に出てくるふたつの自然変換
η : 1_{C} → T
μ : T^{2} → T
について。
ηって、要はTの「対象」相手の部分(＝TからTの「射」相手の部分を除いた部分)の事に見えるのですが、違うのでしょうか？
μ って、なんで T → 1_{C} ではない、と言うか、これと違い得るのでしょうか？