什么是 zygo/meta/histo/para/futu/dyna/whatever 态射？
是否有一个包含示例的列表，可供没有广泛范畴论知识的人使用？
Is there a list of them with examples accessible to a person without extensive category theory knowledge?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（5）
这是一个开始：维基百科“递归方案”类别。
Here's a start: Wikipedia "Recursion schemes" category.
在这里查看 Tim Williams 关于递归方案的幻灯片：
http://www.timphilipwilliams.com/slides.html
他们解释了所有*-态射以及每个的激励例子。
Check out Tim Williams' slide on recursion schemes here:
http://www.timphilipwilliams.com/slides.html
They explain all of the *-morphisms with motivating examples of each.
从了解变态现象开始； 这些是最容易掌握的。 您已经知道一个：
foldr！然后进行变形（
unfoldr）和拟态。 然后才去查看其他维基百科文章/论文； 到那时他们会更容易理解。Start with learning about catamorphisms; those are the easiest to grasp. You already know one:
foldr!Then go for anamorphisms (
unfoldr) and paramorphisms. Only then go for the other Wikipedia articles/papers; by then they will be easier to understand.使用香蕉、透镜、信封和铁丝网进行函数式编程(PDF)< /a> 也应该有帮助。 符号可能会有点麻烦，但是读几次你应该能够删除你的列表。
另外，看看递归方案 （已存档） 博文，博主计划单独展示每一篇很快，所以定期回来查看——我猜。
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(PDF) should help as well. The notation will get a bit hairy, but reading it a few times you should be able to knock down that list of yours.
Also, take a look at the recursion schemes (archived) blog post, the blogger plans on presenting each individually soon, so check back to it regularly --I guess.
Edward Kmett 最近发布了递归方案现场指南，也许它有帮助？
Edward Kmett recently posted a Field Guide to recursion schemes, perhaps it helps?