Monad in Hask(一)
一、 Monad(单子)定义1. 范畴论中的定义Monad可以定义在2-范畴中,在此我们以范畴Cat为例:Monad可以表示为一个四元组(C,T:C→C,η:1C→T,μ:T∘T→T)(C, T: C \to C, \eta: 1_C \to T, \mu: T \circ T \to T)
其中CC是范畴,TT是C上的自函子,η\eta和μ\mu均为自然变换,且满足
μ∘Tη=μ∘ηT=IdT\
原创
2016-06-12 20:22:18 ·
571 阅读 ·
0 评论