横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
圏論の歩き方
圏論の歩き方委員会
/編 --
日本評論社 -- 2015.9 -- 21cm -- 295p
予約申込
本棚へ
資料詳細
タイトル
圏論の歩き方
著者名等
圏論の歩き方委員会
/編
出版
日本評論社 2015.9
大きさ等
21cm 295p
分類
411.6
件名
カテゴリー
注記
並列タイトル:Category Theory Trotters
注記
索引あり
内容
内容: 座談会 圏論と異分野協働
内容紹介
数学のみならず、量子論やプログラミング言語理論、生物ネットワークなど、周辺分野との共通言語として注目が集まる「圏論」。その基礎と応用事例を、若手研究者が徹底紹介する。
要旨
数学のみならず、量子論やプログラミング言語理論、生物ネットワークなど、周辺分野との共通言語として注目が集まる「圏論」。その基礎と応用事例を若手研究者が徹底紹介!
目次
座談会 圏論と異分野協働―今出川不純集会;圏の定義―矢印でいろいろ書いてみる;タングルの圏;プログラム意味論と圏論―計算の「不変量」を圏論で捉える;モナドと計算効果;モナドのクライスリ圏―圏論による一般化とは?;表現を“表現”する話―ミクロ・マクロ双対性(1);座談会 歩き方の使い方―今出川不純集会、ふたたび;ガロア理論と物理学―ミクロ・マクロ双対性(2);圏論的双対性の「論理」―圏論における抽象と捨象、あるいは不条理;圏論的論理学:トポス理論を越えて;すべての人に矢印を―圏論と教育をめぐる冒険;ホモロジー代数からアーベル圏、三角圏へ;表現論と圏論化;圏論と生物のネットワーク;座談会 「数学本流」にはなりたくない―今出川不純集会、三たび;圏論のつまづき方
ISBN(13)、ISBN
978-4-535-78720-9 4-535-78720-4
書誌番号
1113303550
URL
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113303550
ページの先頭へ
所蔵
所蔵は
3
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
4階自然科学
Map
411.6
一般書
利用可
-
2066718851
南
公開
Map
411
一般書
利用可
-
2055339913
金沢
公開
411
一般書
貸出中
-
2054968550
ページの先頭へ