范畴论记录

2021/8/28 6:06:22

本文主要是介绍范畴论记录,对大家解决编程问题具有一定的参考价值,需要的程序猿们随着小编来一起学习吧!

“一个单子(Monad)说白了不过就是自函子范畴上的一个幺半群而已,这有什么难以理解的?”

看了一点点书,终于能够理解这句话中的:

  1. Monad:这是个“函子”
  2. “自函子范畴”,勉强能够理解“自函子”和”范畴“
  3. 幺半群:知道群,幺半群意思差不多?印象中就是群少了个零元还是什么……

2021-08-28



这篇关于范畴论记录的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!


扫一扫关注最新编程教程