http://www.math.nagoya-u.ac.jp/~hasimoto/paper/class/cat10.pdfPDF直リン。http://www.cs.man.ac.uk/~hsimmons/MAGIC-CATS/CourseNotes-Nov-29.pdf関数型言語からの導入PDF直リン。圏論とHaskellの関連についての資料。http://kurt.scitec.kobe-u.ac.jp/~shg/SFCArchives/docs/shortcut_monad.pdfScalaにおける圏について。圏論と言えば、この本だが、完全に初心者お断り状態。圏論による論理学―高階論理とトポス上記のマックレーン本よりは、平易であると思う。論理とか公理の知識がないと1章は面食らう。層・圏・トポス―現代的集合像を求めてその内欲しい。(2)はてなブログをはじめよう!killingout_n-bitaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。