特牛网址导航

【函数式】Monads模式初探——Endofunctor-CSDN博客

网友收藏
文章浏览阅读3.4k次。自函子自函子(Endofunctor)是一个将范畴映射到自身的函子(A functor that maps a category to itself)。函子是将一个范畴转换到另一个范畴,所以自函子是一种特殊的函子。 由三部分组成: 一组元素对象 一组态射 态射组合(二元运算) 如果这个范畴满足结合律,那么它是一个半群;如果半群满足幺元(单位元,identity),那么它是幺_endofunctor
标签:endofunctor