adjoint functorの組(F:C \to D, U:D \to C)でFがUの左随伴になっているものがあればmonad Tを作ることができる。 T = UFとすると、自然変換\eta:1_C \to T = UFと\epsilon:FU \to 1_Dが定まり、積TT \to TはU\epsilonF:TT = UFUF \to U1_DF = Tとして定まり…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。