グラフ表現で可視化する圏論―Category Theory Visualized by Quiver Representations [単行本]

グラフ表現で可視化する圏論―Category Theory Visualized by Quiver Representations の 商品概要

• 目次

  第1章　箙と圏
  1.1 箙
  1.2 圏
  1.3 小集合と小圏についての注意
  1.4 圏のイデアルと剰余圏
  1.5 圏の対象の間の同型
  1.6 積と余積（普遍性の最初の例）
  1.7 等化子と余等化子
  
  第2章　関手，圏の同型
  2.1 箙射
  2.2 関手
  2.3 圏の準同型定理，圏の表示
  2.4 箙の集合表現
  2.4.a 同型類表示
  2.4.b 矢の名前の省略
  2.4.c 矢の向きの省略
  2.4.d 辺の省略
  2.5 極限
  2.6 積・等化子と極限
  
  第3章　自然変換，圏の同値
  3.1 自然変換
  3.2 圏の同値
  3.3 自然変換の極限・余極限
  
  第4章　圏の集合表現と米田の補題
  4.1 圏の集合表現
  4.1.a 軽度圏の間の関手から導かれる表現圏の間の関手
  4.1.b 自由圏の表現圏と箙の表現圏
  4.1.c 関係付き箙で表示された圏の集合表現
  4.2 圏の表現とその間の射の箙による計算
  4.3 米田の補題
  4.4 集合表現の計算で用いる定理
  
  第5章　随伴関手
  5.1 随伴関手の定義
  5.1.a 内積空間での随伴変換との類似
  5.1.b 2変数関手
  5.2 随伴関手の例
  5.2.a 前順序集合
  5.2.b 自由・忘却と集合の指数法則
  5.3 極限，対角，余極限関手の随伴
  5.4 単位と余単位による特徴付け
  5.5 包絡と被覆
  5.6 随伴関手の存在定理
  
  付　録
  A.1 圏のイデアルの生成
  A.2 認容的関係付き箙による圏の表示
  A.3 Kan拡張
  A.4 グロタンディーク宇宙と集合の階層

• 出版社からのコメント

  圏の内部で起こる事象を視覚的に捉えることを目指した入門書。関係付き箙による圏の表示を用い、小さな圏の例を自作しながら学ぶ。

• 内容紹介

  ―圏を関係付き箙（クイバー）で表示する方法によって、小さな圏を手作りし、圏のなかで起こっていることを可視化する―
  
  　本書では、圏を関係付き箙（クイバー、有向グラフ）で表示し、その集合表現（前余層）とその間の射を図示する手法を用いて、圏論における様々な概念を視覚的に捉える例を作る。本書で目指しているのは、それにより、圏論を理解しやすくすることである。
  　本書を読むための予備知識としては、集合と写像、集合の上の同値関係と類別の程度を想定している。
  
  　圏だけではなく、関手（集合表現）や自然変換をも、箙表現の構造箙を用いて視覚的に取り扱う方法を紹介している点は、本書の大きな特徴である。これによって、特に極限や余極限の理解は劇的に容易になり、豊富な例を作ることができるようになる。本書の後半で解説している随伴関手は、その最初の練習教材として用いることができる。随伴関手については、自然同型を表す竹内外史の著書『層・圏・トポス』で用いられている、多段の式表示をフルに使い、随伴関手の動きを可視化して証明を見やすくしている。また、右随伴を包絡、左随伴を被覆として捉える見方を取り入れている。
  
  　圏論の初歩から解説を始め、一般随伴関手定理、各点Kan拡張定理まで解説している点も本書の特色の一つである。さらに、集合論については、固定したグロタンディーク宇宙を基準とする、Levyによる集合の階層を用いて圏に適度を定義し、集合論の範囲内で圏の拡大を扱える枠組みを採用している。

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  浅芝 秀人(アサシバ ヒデト)
  １９８４年大阪市立大学大学院理学研究科後期博士課程修了、理学博士。現在、静岡大学理学部名誉教授、京都大学高等研究センター研究員、大阪公立大学数学研究所特別研究員

グラフ表現で可視化する圏論―Category Theory Visualized by Quiver Representations の商品スペック