編集
圏論に関して誰でも何でもお好きなように書いてください！
もちろん他のアドカレと同じ内容の投稿なども歓迎です。
#圏論アドベントカレンダー2023
去年 → https://adventar.org/calendars/7888
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  K.Hirata | 2 K.Hirata | |||||
3 K.Hirata | 4  yotsunva | 5  ナス | 6  くろの | 7  Μίττον@圏論ソルジャー(गजस्पृशन्ध) | 8 | 9  ペーパー |
10  elpinal | 11 | 12 | 13 | 14  るめなる | 15 | 16 |
17  ほら/hora | 18 ナス | 19 くろの | 20  ゆう | 21  R_O_R_I_J_O | 22  Alwe_Logic | 23  hoshinok |
24 | 25  piano2683 |
- 12/1commutative monad と enriched monad の関係
- 12/2Day's reflection theorem の使い所
- 12/3Set-enriched weighted limit
- 12/4積を持つとは限らない圏における suc が mono でないような NNO の例nno_example (1).pdf - Google ドライブ
- 12/5普遍性の証明をChatGPTに書かせてみた。
- 12/6一般のコイコライザを持つとは限らない正則圏RegularCat.pdf - Google ドライブ
- 本邦初（多分）の "Nonstandard proof methods in toposes" (2308.16030) の解説記事internal_mashimashi.pdf - Google ドライブ
- 12/9凝縮凝縮ゥ！
- 12/10Grothendieck宇宙の前層圏への持ち上げ
- 12/14(∞,1)-Gabriel–Ulmer duality について（仮）
- 12/17多分ちょっとパズルっぽいものを書くCOUNTING_WITH_EXPONENTIAL_OF_GROUPS.pdf - Google ドライブ
- 12/18Sketchのモデルと豊穣圏
- 12/19群の圏はグンカテゴリーであるGroupGumm.pdf - Google ドライブ
- 12/20同値関係について
- 12/21∞圏について書くか、トポスについて書くか、怪文書を書いて誤魔化すNotion – The all-in-one workspace for your notes, tasks, wikis, and databases.
- 12/22SGL分かりません
- 12/23(co)inductive に定義された概念の性質を調べる一般的な方法ADOKARE2023.pdf - Google ドライブ
- 12/25トポスの反映的部分圏のちょっと面白い例non_subquasitopos.pdf - Google ドライブ