范畴论完全装逼手册 / Grokking Monad 范畴论完全装逼手册(一) / Grokking Monad 范畴论完全装逼手册(二) / Grokking Monad 范畴论完全装逼手册(三) / Grokking Monad Table of Contents 第一部分：范畴论Catergory Theory Category Hask Duel 函子Functor Cat+猫+ 自然变换Natural Transformations String Diagram Adjunction Functor 伴随函子 从伴随函子到 单子Monad 三角等式 结合律 Yoneda lemma / 米田共 米田引理 Rank N Type Kleisli Catergory Summary 第二部分：食用猫呢Practical Monads Identity Maybe Either Product & Coproduct Either Monad Reader do notation Writer State Validation 含幺半群Monoid 回到 Validation Cont Summary 第三部分:搞基猫呢Advanced Monads RWS Monad Transform ReaderT Alternative MonadPlus ST Monad Free Monad Eff References FBI Warning 本文所有文字与图片遵循 CC 署名-非商业性使用-禁止演绎 3.0 许可协议 相关文章：