圏論の歩き方 Category theory trotters

著者

• 圏論の歩き方委員会 ケンロン ノ アルキカタ イインカイ

書誌事項

圏論の歩き方 = Category theory trotters

圏論の歩き方委員会編 = "Category theory trotters" editorial board

日本評論社, 2015.9

タイトル読み

ケンロン ノ アルキカタ

注記

参考文献: 各章末

索引あり

内容説明・目次

内容説明

数学のみならず、量子論やプログラミング言語理論、生物ネットワークなど、周辺分野との共通言語として注目が集まる「圏論」。その基礎と応用事例を若手研究者が徹底紹介！

目次

• 座談会　圏論と異分野協働—今出川不純集会
• 圏の定義—矢印でいろいろ書いてみる
• タングルの圏
• プログラム意味論と圏論—計算の「不変量」を圏論で捉える
• モナドと計算効果
• モナドのクライスリ圏—圏論による一般化とは？
• 表現を“表現”する話—ミクロ・マクロ双対性（１）
• 座談会　歩き方の使い方—今出川不純集会、ふたたび
• ガロア理論と物理学—ミクロ・マクロ双対性（２）
• 圏論的双対性の「論理」—圏論における抽象と捨象、あるいは不条理
• 圏論的論理学：トポス理論を越えて
• すべての人に矢印を—圏論と教育をめぐる冒険
• ホモロジー代数からアーベル圏、三角圏へ
• 表現論と圏論化
• 圏論と生物のネットワーク
• 座談会　「数学本流」にはなりたくない—今出川不純集会、三たび
• 圏論のつまづき方

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB19498586
• ISBN:
  • 9784535787209
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vi, 295p
• 大きさ: 22cm
• 分類:
  • NDLC : MA67
  • NDC9 : 411.6
• 件名:
  • BSH : カテゴリー(数学)
  • NDLSH : カテゴリー(数学)