『高次元圏入門』
alg-d.
高次元圏入門
. 2018.
普通の圏の定義は1-category
豊穣圏
(V-豊穣圏)
良い圏
というものがある
完備かつ余完備な対称モノイダル閉圏
1-category
2-category
strict 2-categoryは
Cat-豊穣圏
らしい
3-category
...
n-category
nが次元。
次に読むべきものは?
『Coherence in Three-Dimensional Category Theory』
高次元圏
Kan拡張
同型
豊穣圏
完備
モノイダル閉圏
基本亜群
(fundamental groupoid)
ホモトピー同値
亜群(グルーポイド)
亜群とは,全ての射が
同型射
となる圏のことをいう.
圏同値
pullback
コヒーレンス定理
米田の補題
(∞, 1)-category
simpilical category
topological category
quasi-category
圏Top
、
圏Toph
が関係ありそう
【math/0107188】 A Survey of Definitions of n-Category
A SURVEY OF DEFINITIONS OF n-CATEGORY TOM LEINSTER
動画で見る
第11回関西すうがく徒のつどい「高次元圏入門」その1 - YouTube
第11回関西すうがく徒のつどい「高次元圏入門」その2 - YouTube
第11回関西すうがく徒のつどい「高次元圏入門」その3 - YouTube
第11回関西すうがく徒のつどい「高次元圏入門」その4 - YouTube
#数学
#圏論
#文献