Skip to content

Instantly share code, notes, and snippets.

@swr1bm86

swr1bm86/monad conclusion

Created October 3, 2015 16:03
Show Gist options
  • Save swr1bm86/2e1f744df093360eacd2 to your computer and use it in GitHub Desktop.
Save swr1bm86/2e1f744df093360eacd2 to your computer and use it in GitHub Desktop.
Download ZIP
think about monad
Raw
monad conclusion
单子(monad)就是自函子范畴上的幺半群的含义
首先函子也就是functor就是范畴上的映射 而映射的起点和重点相同的函子就可以称为自函子
满足两个定理的群叫半群 如果含有幺元(monoid)就称为幺半群
所以monad是一组集合 是自函子这个范畴下 满足幺半群定义的子集合 就是满足这些范畴定义的类型集合
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment