活躍する圏論 : 具体例からのアプローチ
Author(s)
Bibliographic Information
活躍する圏論 : 具体例からのアプローチ
共立出版, 2023.2
- Other Title
-
An invitation to applied category theory : seven sketches in compositionality
活躍する圏論 : 具体例からのアプローチ
- Title Transcription
-
カツヤク スル ケンロン : グタイレイ カラノ アプローチ
Available at / 85 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p [300]-304
Description and Table of Contents
Description
本書の目的は、自己完結した応用圏論の見学ツアーを提供することである。それぞれの章は、現実世界の応用を動機づけとして、圏論的な道具立てによって考察するという流れになっている。具体的には、データ移行を随伴関手とみなし、電気回路をモノイダル圏とオペラッドを使って論じ、協調設計を豊穣化されたプロ関手を通して眺める。関連するすべての圏論の概念が、単純なものから高度なものまで、多くの例題と練習問題を使って分かりやすく紹介されており、大学レベルの数学を経験していない人にも理想的な参考書になっている。
Table of Contents
- 第1章 生成的効果:順序とガロア接続
- 第2章 資源理論:モノイダル擬順序と豊穣化
- 第3章 データベース:圏、関手、普遍的構成
- 第4章 協調設計:プロ関手、圏化、モノイダル圏
- 第5章 信号流れ図:prop、表示、証明
- 第6章 電気回路:ハイパーグラフ圏とオペラッド
- 第7章 振る舞いの論理:層、トポス、内部言語
- 付録 練習問題の解答
by "BOOK database"