Mendeley出力
＜図書＞
活躍する圏論 : 具体例からのアプローチ
カツヤク スル ケンロン : グタイレイ カラ ノ アプローチ
| 責任表示 | Brendan Fong, David I.Spivak著 ; 川辺治之訳 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 東京 : 共立出版 , 2023.2 |
| 本文言語 | 日本語 |
| 大きさ | x, 312p : 挿図 ; 26cm |
| 概要 | 本書の目的は、自己完結した応用圏論の見学ツアーを提供することである。それぞれの章は、現実世界の応用を動機づけとして、圏論的な道具立てによって考察するという流れになっている。具体的には、データ移行を随伴関手とみなし、電気回路をモノイダル圏とオペラッドを使って論じ、協調設計を豊穣化されたプロ関手を通して眺める。関連するすべての圏論の概念が、単純なものから高度なものまで、多くの例題と練習問題を使って分か...やすく紹介されており、大学レベルの数学を経験していない人にも理想的な参考書になっている。続きを見る |
| 目次 | 第1章 生成的効果:順序とガロア接続 第2章 資源理論:モノイダル擬順序と豊穣化 第3章 データベース:圏、関手、普遍的構成 第4章 協調設計:プロ関手、圏化、モノイダル圏 第5章 信号流れ図:prop、表示、証明 第6章 電気回路:ハイパーグラフ圏とオペラッド 第7章 振る舞いの論理:層、トポス、内部言語 付録 練習問題の解答 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 411.6 /F 38 | 2023 |
|
130012023009913 |
|
書誌詳細
| 別書名 | 原タイトル:An invitation to applied category theory : seven sketches in compositionality |
|---|---|
| 一般注記 | 参考文献: p [300] -304 |
| 著者標目 | Fong, Brendan Spivak, David I., 1978- 川辺, 治之 <カワベ, ハルユキ> |
| 件 名 | BSH:カテゴリー(数学) NDLSH:カテゴリー (数学) |
| 分 類 | NDC9:411.6 NDC10:411.6 NDLC:MA67 |
| 書誌ID | 1001788591 |
| ISBN | 9784320114845 |
| NCID | BD00751869 |
| 巻冊次 | ISBN:9784320114845 ; PRICE:5000円+税 |
| NBN | JP23807943 |
| 登録日 | 2023.10.19 |
| 更新日 | 2023.10.19 |