著者BrendanFong(著) DavidI．Spivak(著) 川辺治之(訳)出版社共立出版発売日2023年02月ISBN9784320114845ページ数312Pキーワードかつやくするけんろんぐたいれいからのあぷろーち カツヤクスルケンロングタイレイカラノアプローチ ふおん ぶれんだん FONG フオン ブレンダン FONG9784320114845内容紹介本書の目的は、自己完結した応用圏論の見学ツアーを提供することである。
本書では、具体的な現実世界の例を通じて圏論の進んだ話題を理解する。
それぞれの章では、電気回路、制御理論など実世界のテーマを動機づけとして、そこから随伴関手や豊穣圏などさまざまな種類の圏論的概念に話がつながっていく。
ただし、それらを包括的に扱うのではなく、それらの構造を扱うとどんな感じになるのかといった知見や、それらが実世界でどのような形で現れるかについて、いくつかのアイディアを示す。
各章を読み始めるためには、それまでの章を完全に理解している必要はないので、ある章の途中で難しく感じても、次の章に取り掛かることができる。
本文の随所には取り組みやすい約240問の練習問題があり、それらすべての解答は巻末付録にある。
［原著］An Invitation to Applied Category Theory: Seven Sketches in Compositionality, Cambridge University Press, 2019※本データはこの商品が発売された時点の情報です。
目次第1章 生成的効果：順序とガロア接続/第2章 資源理論：モノイダル擬順序と豊穣化/第3章 データベース：圏、関手、普遍的構成/第4章 協調設計：プロ関手、圏化、モノイダル圏/第5章 信号流れ図：prop、表示、証明/第6章 電気回路：ハイパーグラフ圏とオペラッド/第7章 振る舞いの論理：層、トポス、内部言語/付録 練習問題の解答