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

后端 未结 5 519
滥情空心
滥情空心 2021-01-31 03:47

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

5条回答
  •  感动是毒
    2021-01-31 04:22

    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.

提交回复
热议问题