标签： haskell monads category-theory
一个标准的新手Haskell问题是一个与“神圣的地狱是什么单身？”的同形词？对这个问题的规范回答被臭名昭着地定义为“monad只是一个在endofunctors类别中的幺半群，这是什么问题？”
现在很明显，monoid只是带有关联二元运算符的任何集合，其身份是集合的元素。但什么是“终结者类别”？更一般地说，什么是类别，什么是endofunctor，就此而言，什么是函子？ （与Haskell所谓的Functor相关的仿函数的CT定义有多接近？）
Functor