search

thwfhk / blog_comments_utteranc

0 stars 0 forks source link

post/category_functor_monad/ #3

Open utterances-bot opened 4 years ago

utterances-bot commented 4 years ago

[口胡]Haskell中Functor和Monad与范畴论的联系 - Candy?

Candy?从接触Haskell开始就想知道它与范畴论有什么联系。

https://thwfhk.github.io/post/category_functor_monad/

BearHero commented 4 years ago

请问coherence condition的公理怎么理解？感觉是多余的

thwfhk commented 4 years ago

@BearHero 这个实际上是monoid的要求。一般monoid是对Set范畴中的一个object来说的，而这个T是自函子范畴中的一个object。实际上它和haskell中的monad laws是等价的。