Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

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

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

like image 331
Fixpoint Avatar asked May 28 '09 16:05

Fixpoint


2 Answers

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.

like image 102
nlucaroni Avatar answered Nov 06 '22 13:11

nlucaroni


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

like image 11
shapr Avatar answered Nov 06 '22 13:11

shapr