zygo/meta/histo/para/futu/dyna/whatever-morphismsとは何ですか？

広範なカテゴリ理論の知識がない人にアクセスできる例があるリストはありますか？ここでzygo/meta/histo/para/futu/dyna/whatever-morphismsとは何ですか？

2009-05-28 Fixpoint

なぜあなたはそれらを知りたいですか？（あなたがカテゴリ理論に興味がないなら、私は意味する...） – ShreevatsaR

カテゴリの理論は毎回私のお尻に私をノックする。 –

+10

Zygo-Meta-Histo-Para-Expi-Ali-Docious！ – Apocalisp

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire(PDF)も同様に役立つはずです。表記はちょっと毛深くなりますが、数回それを読んで、あなたのリストをノックダウンすることができます。

また、再帰スキーム(archived)blog postをご覧ください。ブロガーはすぐに個別にプレゼンテーションを行う予定ですので、定期的にチェックしてください。

出典

2009-05-28 17:03:27 nlucaroni

ありがとう、そこにparamorphismの説明が役立ちました。 – Fixpoint

ブログ記事の著者は、1日か2日前に、自分のブログは現在ダウンしているが、旅行しており、もう1週間は何もできないことを知っていたと私に語った。 – dfeuer

ああ、しばらく前もずっとダウンしていました。私は実際に（現時点で）彼がオフラインにしたと思っていました。ありがとう – nlucaroni

はスタートだ：Wikipedia "Recursion schemes" category.

出典

2009-05-28 16:52:45 mquander

異型性について学ぶことから始まります。それらは把握するのが最も簡単です。あなたはすでに1つを知っています：foldr！

次に、アナモフィズム（unfoldr）とパラモルフィズムのために行ってください。その後、他のWikipediaの記事や論文に行く。それまでに理解しやすくなります。

出典

2009-05-28 17:25:30 Martijn

私はすでにカタ、アナ、ハイロ、メタを把握しているので、私はそれらを問題に言及していません。 :)残りのウィキペディアの記事は非常に広範ではないか存在しません。 – Fixpoint

最近Edward KmettさんがField Guide to recursion schemesを投稿しました。

出典

2009-06-11 15:13:47 shapr

はい、すでに読んでいます。非常に便利な要約。 – Fixpoint

お寄せいただきありがとうございます。最善の策は、VeneとKabanovのdynamophismの論文から始めることです。それは少なくともヒストとダイナの使用を動機付けするので、そこからあなたはフューチャーを知ることができます。 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.9336 –

ここ再帰スキームのティム・ウィリアムズスライドをチェックアウト：

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

を彼らはそれぞれのやる気例と* -morphismsのすべてを説明します。

出典

2013-04-18 10:53:58

zygo/meta/histo/para/futu/dyna/whatever-morphismsとは何ですか？

答えて

関連する問題