第三リスト準同型定理 - Qiita

はじめに この記事は， 数学とコンピュータⅡ Advent Calendar 2017 の 8 日目の記事です． 本記事では，私が最近知った楽しい定理の「第三リスト準同型定理」について書きたいと思います．私自身による新しい結果はなく，以下の article に基づきつつ，自分の言葉での解説を試みたもの (つまり劣化コピー？) です1． Gibbons, Jeremy. (1996). The Third Homomorphism Theorem. http://www.cs.auckland.ac.nz/staff-cgi-bin/mjd/secondcgi.pl?serial. 6. . もちろん，誤りなどのご指摘は有り難く承ります．できる限りいただいたご指摘には対処するつもりです． 記法の注意 Haskell風の記法を使います．あくまでHaskell"風"であって Haskell とし