magic-haskell
magic-haskell copied to clipboard
P114
F(f)F(g) = F(fg) 就可以了吧。。 为什么要强调同构。。
就是顺便一下,留个同构的印象,这个词语在不用的语境下有不同的具体解释,多提提方便理解这个概念。
@winterland1989 主要是isomorphism在category theory里面有其他意义啊。。