活躍する圏論 : 具体例からのアプローチ
著者
書誌事項
活躍する圏論 : 具体例からのアプローチ
共立出版, 2023.2
- タイトル別名
-
An invitation to applied category theory : seven sketches in compositionality
活躍する圏論 : 具体例からのアプローチ
- タイトル読み
-
カツヤク スル ケンロン : グタイレイ カラノ アプローチ
大学図書館所蔵 全85件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p [300]-304
内容説明・目次
内容説明
本書の目的は、自己完結した応用圏論の見学ツアーを提供することである。それぞれの章は、現実世界の応用を動機づけとして、圏論的な道具立てによって考察するという流れになっている。具体的には、データ移行を随伴関手とみなし、電気回路をモノイダル圏とオペラッドを使って論じ、協調設計を豊穣化されたプロ関手を通して眺める。関連するすべての圏論の概念が、単純なものから高度なものまで、多くの例題と練習問題を使って分かりやすく紹介されており、大学レベルの数学を経験していない人にも理想的な参考書になっている。
目次
- 第1章 生成的効果:順序とガロア接続
- 第2章 資源理論:モノイダル擬順序と豊穣化
- 第3章 データベース:圏、関手、普遍的構成
- 第4章 協調設計:プロ関手、圏化、モノイダル圏
- 第5章 信号流れ図:prop、表示、証明
- 第6章 電気回路:ハイパーグラフ圏とオペラッド
- 第7章 振る舞いの論理:層、トポス、内部言語
- 付録 練習問題の解答
「BOOKデータベース」 より