出版社内容情報
関数型プログラミング言語Haskellによる圏論の入門書。圏論の最初の到達点である「米田の補題」を理解することを目指す。
内容説明
関数型プログラミング言語Ｈａｓｋｅｌｌで計算する圏論の入門書。可換図式多数。図式を描くときの心の込め方をていねいに解説！
目次
第１章 圏・関手・自然変換
第２章 自然変換と圏同値
第３章 普遍性と極限
第４章 関手と極限の交換
第５章 随伴
第６章 モナドとＨａｓｋｅｌｌのＭｏｎａｄ
第７章 表現可能関手
付録
著者等紹介
雪田修一［ユキタシュウイチ］
１９５４年、千葉県生まれ。東京大学理学部物理学科卒業、同理学系研究科博士課程中退（数学専攻）。稚内北星学園、会津大学を経て、現在、法政大学情報科学部教授。博士（情報科学、東北大学）。現在は、圏論の応用に強い関心がある（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
vinlandmbit
21
圏論、まだまだ理解しきれていませんが、その全体像を教えてくれた一冊でした。2022/10/30
mft
4
一通り眺め通したのでいったん記録しておく。理解しやすくはなかったかな。Haskell と数学の記法を自由に行き来できるようになる頃には数学の記法そのものになれてしまうのではないか2022/05/21
masayoshi361
0
初学者には無理 同系統ならcategory theory for programmersがおすすめ。無料だし 2020/12/26
-
- 和書
- 中国に侵略されたアメリカ
