圏論的に言うと、自然変換が成り立たないってことかな。

qtamakiqtamaki のブックマーク 2013/09/17 11:54

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

SetはFunctorではない - xuwei-k's blog

    SetがFunctorではない理由を延々と説明します。最初これ http://failex.blogspot.jp/2013/06/fake-theorems-for-free.html を訳そうとしましたが、英語力と理解力のなさにより断念し、中途半端な翻訳になるなら、...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう