圏論入門 : Haskellで計算する具体例から
著者
書誌事項
圏論入門 : Haskellで計算する具体例から
日本評論社, 2020.8
- タイトル別名
-
圏論 : 入門 : Haskellで計算する具体例から
- タイトル読み
-
ケンロン ニュウモン : Haskell デ ケイサン スル グタイレイ カラ
電子リソースにアクセスする 全1件
大学図書館所蔵 件 / 全78件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[301]
内容説明・目次
内容説明
関数型プログラミング言語Haskellで計算する圏論の入門書。可換図式多数。図式を描くときの心の込め方をていねいに解説!
目次
- 第1章 圏・関手・自然変換
- 第2章 自然変換と圏同値
- 第3章 普遍性と極限
- 第4章 関手と極限の交換
- 第5章 随伴
- 第6章 モナドとHaskellのMonad
- 第7章 表現可能関手
- 付録
「BOOKデータベース」 より