圏論に関する記事を、どなたでも好きに書いてください!
圏論ではなく圏でも構いません!
#圏論アドベントカレンダー2024
過去のカレンダー
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  1997_takahashi | 2  くろの | 3  hoshinok | 4 くろの | 5 くろの | 6  Μίττον@圏論ソルジャー(गजस्पृशन्ध) | 7  K.Hirata |
8  るめなる | 9  ペーパー | 10  ほら/hora | 11  rhombus | 12  Ray D. Sameshima | 13  K.Akasaka | 14 |
15  n日後に∞-犬になりたい猫 | 16  haru/ | 17  sanataka | 18  ナス | 19 K.Akasaka | 20 K.Akasaka | 21  Kango ITO |
22  圏論のあか☆ねこ | 23  Alwe_Logic | 24  箱星 | 25 Μίττον@圏論ソルジャー(गजस्पृशन्ध) |
- 12/1某所で話せなかったことを補足できたらと思っています到達可能圏・局所表示可能圏のーと.pdf - Google ドライブ
- 12/2圏論的普遍代数学入門(某所の講義資料)
- 12/3単体的集合が非退化なセルから（ある意味で）構成される時fondind/main.pdf at pdf · HoshinoKeisuke/fondind · GitHub
- 12/4極限と余極限の交換
- 12/5終対象はいつ有限表示か
- 某る会のやつ
- 12/7wide pullback について
- 12/8derived ∞-category に関する事柄の紹介をする予定でしたが、間に合わなかったので、空間の ∞-圏上の常ホモロジー関手を定義し、それに関して通常の Eilenberg--Steenrod axiom (の類似) が成り立つという話を書きました
- 12/9
- 12/10Conway's Game of Lifeの幾何学とrelative toposAdv20241210_Dynamical_system_on_a_pretopological_space.pdf - Google ドライブ
- 12/11Model categoryとか∞-categoryについてsenseをmakeした記録（動画の概要欄にノートあり〼）[JP] Making sense of ∞-categories - YouTube
- 12/12二点集合{0,1} はBoolean とも呼ばれあらゆる数学的な分野で出てくる集合といっても過言はありません。このノートでは随伴関手をこの二点集合を通していくつか見てみるということを試みています。前半の一部はストリング図（絵算、あるいは２次元図式）のジェントルなイントロダクションにもなっています。
- 12/13年明け頃にcondensed mathematicsの基本を書いたpdfを生成します.
- 12/15米田の補題adventCalendar2024.pdf - Google ドライブ
- 12/16Q-categoryによるtopos理論を書きたいNotion – The all-in-one workspace for your notes, tasks, wikis, and databases.
- 12/17エフェクトハンドラは準同型射である II
- 12/18Terminals are pointwise
- 12/19Algebraic K-theoryについて基本的なことからまとめます。public_notes/algebraic_k_theory/algebraic_k_theory.pdf at main · Yonoha/public_notes · GitHub
- 12/20層論とその公理化であるsix-functor formalismについてまとめます。public_notes/six_functor_formalisms/six_functor_formalisms.pdf at main · Yonoha/public_notes · GitHub
- 12/21圏論で見る準同型定理(圏論初学者向け)AdCale2024_21/root.pdf at main · kang-jp/AdCale2024_21 · GitHub
- 12/22一般化された Abel 圏と蛇の補題
- 12/23余裕があればVan Kampenの定理について、なければKan拡張を計算します。
- 12/24基礎的なことを書きます圏における和と積 · 組合せ論、楽しい！
- Set圏をつくります
