什么是 zygo/meta/histo/para/futu/dyna/whatever 态射？

Question

是否有一个包含示例的列表，可供没有广泛范畴论知识的人使用？

Answer 1

使用香蕉、透镜、信封和铁丝网进行函数式编程 (PDF) 也应该有帮助。符号可能会有点麻烦，但是读几次你应该能够删除你的列表。

另外，看看递归方案 （已存档） 博客文章, ，博主计划很快单独展示每个内容，所以我想，请定期回来查看。

Answer 2

开始与学习catamorphisms;这些是最容易掌握的。你已经知道一个：foldr

然后去anamorphisms（unfoldr）和paramorphisms。只有这样，去为其他的维基百科文章/文件;通过那么他们会更容易理解。

Answer 3

爱德华Kmett最近发表了一篇鱼得水递归方案的，也许它可以帮助？

Answer 4

查看Tim Williams的幻灯片上递归方案这里：

http://www.timphilipwilliams.com/slides.html

他们解释所有* -morphisms的与每个激励的例子。

Answer 5

下面是一个开始：维基百科 “递归方案” 类别