圏論入門 : Haskellで計算する具体例から

• 資料種別: 図書
• ISBN: 978-4-535-78925-8
• タイトル: 圏論入門 : Haskellで計算する具体例から
• タイトルよみ: ケンロン ニュウモン : ハスケル デ ケイサン スル グタイレイ カラ
• 著者・編者: 雪田修一 著
• 著者標目: 雪田, 修一, 1954- ユキタ, シュウイチ, 1954- ( 00195773 )典拠
• 出版事項: 東京 : 日本評論社
• 出版年月日等: 2020.8
• 出版年（W3CDTF）: 2020
• 数量: 308p
• 大きさ: 21cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: カテゴリー (数学) カテゴリー (スウガク) ( 00565160 )典拠
• NDC10版: 411.6 : 代数学
• NDLC: MA67
• 対象利用者: 一般
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 3400円
• 所蔵機関: 国立国会図書館
• 請求記号: MA67-M14
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 030552089; http://id.ndl.go.jp/bib/030552089
• 全国書誌番号: 23431679
• トーハンMARC番号: 34100460
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: 関数型プログラミング言語Haskellによる圏論の入門書。圏論の最初の到達点である「米田の補題」を理解することを目指す。（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 雪田修一 法政大学情報科学部デジタルメディア学科教授（提供元: 出版情報登録センター（JPRO））

目次

第1章　圏・関手・自然変換

1.1 集合と写像から

1.2 圏・対象・射

1.3 圏のデータ構造

1.4 関手・反変関手