圏論に関して誰でも何でもお好きなように書いてください！
もちろん他のアドカレと同じ内容の投稿なども歓迎です。
#圏論アドベントカレンダー2022
※無理して間に合わせる必要ないです。遊びなので......
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  K.Hirata | 2  くろの | 3 K.Hirata | ||||
4 | 5  Μίττον@圏論ソルジャー(गजस्पृशन्ध) | 6 | 7 | 8 | 9  piano2683 | 10 |
11  hoshinok | 12 | 13  るめなる | 14  1997_takahashi | 15  ペーパー | 16  N.Y | 17  t_uemura669101 |
18  ナス | 19  elpinal | 20  Alwe_Logic | 21  R_O_R_I_J_O | 22 くろの | 23  sanataka | 24  Tilt |
25 K.Hirata |
- 12/1Ab-Cat から Cat への忘却について前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手 | Mathlog
- 12/2SetのPullbackと余積はどうして可換なの?極限と余積の交換 | Mathlog
- 12/3一体、Qのコーシー完備化は有限次元Q何空間全体なんだ？
- Della commutatività di limiti finiti e colimiti filtrati, forse.Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換である | Mathlog
- 12/9Schemes from a Functorial Viewpointfunctors-of-points-CTAdv2022.pdf - Google ドライブ
- 12/11F-categoryとcompanyについて。申し訳ありませんが手書きです。F-CategoryとCompany アドカレ2022.pdf - Google ドライブ
- 12/13∞-groupoid と Kan 複体の等価性をテーマに、Joyal の拡張定理について∞-groupoid は空間である ～Joyal の拡張定理の応用とその証明～ | Mathlog
- 12/14モデル圏について物を書いたり書かなかったりします
- 12/15加法的層の圏と射影スキーム
- 12/16書くかもしれないし書かないかもしれないし期日に遅れるかもしれない
- 12/17「正しい」圏論「正しい」圏論 | Taichi Uemura
- 12/18一般の圏における元の追跡による可換性の確認の正当性(internal logic)introinter.pdf - Google ドライブ
- 12/19随伴の双圏
- 12/20統語的圏と相対解釈の話？
- 12/21トポスについて勉強して何か書く
- 12/22Catに入る対称モノイダル閉構造smcc_str.pdf - Google ドライブ
- 12/23エフェクトハンドラは準同型射である
- 12/24pareの定理について
- 12/25アドカレ1日目の嘘嘘記事書いてすみませんでした！ | Mathlog
