オムニバス形式セミナーの記録
月一圏論ゼミ
2019年にKan拡張を理解したいという気持ちから自由に圏論をするゼミを開始しました。
- 2019/4 「Kan拡張」
参考資料:壱大整域
- 2019/5 「Kan拡張は関手圏の随伴を与える」
参考資料:壱大整域
- 2019/6 「全ての概念はKan拡張」「エンドとFubiniの定理」
参考資料:壱大整域
- 2019/7 「2圏」
参考資料:壱大整域
- 2019/8 「トポスと論理学」
参考資料:壱大整域
- 2019/9 「アーベル圏」「Diffeology」
参考資料:ゐぶの数学日記
-
2019/10 「位相群のハウスドルフ性」
-
2019/12 「ファイバー圏」「代数の圏」
参考資料:Notes on Grothendieck topologies, fibered categories and descent theory
参考資料:ゐぶの数学日記
-
2020/2 「双対Lie代数」
-
2020/3 「森田同値」「stack」
参考資料:Notes on Grothendieck topologies, fibered categories and descent theory
- 2020/4 「スペクトル系列」「コンパクト生成弱ハウスドルフ空間」
参考資料:Algebraic geometory
-
2020/5 「トポスの像分解」
-
2020/6 「ミッチェルの埋め込み定理」
参考資料:志甫 淳 (著),新井 仁之 (編集),小林 俊行 (編集),斎藤 毅 (編集),吉田 朋広 (編集)・「層とホモロジー代数」・共立出版・2016
- 2020/9 「ミッチェルの埋め込み定理」「圏のgeneraterについて」
参考資料:志甫 淳 (著),新井 仁之 (編集),小林 俊行 (編集),斎藤 毅 (編集),吉田 朋広 (編集)・「層とホモロジー代数」・共立出版・2016
- 2020/10 「Gabriel-Poprscuの定理」「Geometric morphism」
参考資料:Saunders MacLane (著),Ieke Moerdijk (寄稿)・「Sheaves in Geometry and Logic」・Springer・1992
- 2020/11 「Flat functor」
参考資料:Saunders MacLane (著),Ieke Moerdijk (寄稿)・「Sheaves in Geometry and Logic」・Springer・1992
- 2020/12 「SiteとGeometric morphism」「Pseudo functor and Fibered category」
参考資料:Saunders MacLane (著),Ieke Moerdijk (寄稿)・「Sheaves in Geometry and Logic」・Springer・1992
参考資料:Notes on Grothendieck topologies, fibered categories and descent theory
-
2021/1 「ロケールによるpoint-free topology」
-
2021/2 「三角圏入門」
参考文献:Amnon Neeman (著)・「Triangulated Categories」・Princeton Univ Pr・2001
-
2021/4 「Grothendieck enriched categories」
-
2021/6 「偏屈層」
-
2021/9 「Bridgelandの安定性条件」
-
2021/10 「Galois圏と基本群」
-
2021/11 「Galois圏と基本群」
-
2022/1 「形式変形理論概要」
-
2022/2 「モナド」
-
2022/4 「モデル圏入門」
-
2022/5 「高次ホロノミー表現」
-
2022/6 「三角圏のBrown representability」
-
2022/7 「トポスの有限完備性」
-
2023/2 「Smooth structure」
-
2023/3 「単体的集合の高次ホロノミー」
-
2023/5 「ポントリャーギン双対とフーリエ変換」
-
2023/8 「帰納圏について」
-
2023/12 「続・帰納圏について」
-
2024/2 「(∞,1)圏のモデルについて」
-
2024/4 「完備Segal空間について」
-
2024/5 「反復積分とホモトピー極限」
-
2024/6 「Dg圏，A_infty圏，安定圏の関係」
-
2024/7 「Ind化のいくつかの一般化」
-
2024/8 「Diffeological spaceにおけるdeRhamの定理の反例」
-
2024/10 「Weak equivalence and homotopy equivalence」
-
2024/12 「Six-functor formalism」
-
2025/01 「層量子化について」
-
2025/02 「Condensed mathematics」
zoom圏論ゼミ
新型コロナウイルスの関係でzoomが使われるようになったことを生かし、誰でもどこからでも参加できる圏論ゼミをはじめました。
-
2020/4 「Galois接続の可換環論への応用」
-
2020/6 「Introduction to Pointless Topology」
-
2020/7 「向き付き絡み目の量子不変量」
-
2020/9 「圏論的論理学」
-
2020/11 「代数の一般化としてのモナド」
-
2020/12 「Polynomial Category」