What are zygo/meta/histo/para/futu/dyna/whatever-morphisms?

Question

Is there a list of them with examples accessible to a person without extensive category theory knowledge?

Answer 1

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.

Answer 2

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.

Answer 3

Edward Kmett recently posted a Field Guide to recursion schemes, perhaps it helps?

Answer 4

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.

Answer 5

Here's a start: Wikipedia "Recursion schemes" category.