圏論入門

Ｈａｓｋｅｌｌで計算する具体例から

日本評論社
雪田修一　

• 価格: 3,740円（本体3,400円＋税）
• 発行年月: 2020年08月
• 判型: Ａ５
• ISBN: 9784535789258

内容情報

[BOOKデータベースより]

関数型プログラミング言語Ｈａｓｋｅｌｌで計算する圏論の入門書。可換図式多数。図式を描くときの心の込め方をていねいに解説！

第１章　圏・関手・自然変換
第２章　自然変換と圏同値
第３章　普遍性と極限
第４章　関手と極限の交換
第５章　随伴
第６章　モナドとＨａｓｋｅｌｌのＭｏｎａｄ
第７章　表現可能関手
付録

[日販商品データベースより]

関数型プログラミング言語Haskellによる圏論の入門書。圏論の最初の到達点である「米田の補題」を理解することを目指す。