alg_dによるalg_dのための圏論
(alg_d以外の方の執筆も歓迎です)
2018年→https://adventar.org/calendars/3168
SUN | MON | TUE | WED | THU | FRI | SAT |
---|---|---|---|---|---|---|
1 alg_d | 2 alg_d | |||||
3 alg_d | 4 | 5 unununum_1 | 6 | 7 | 8 | 9 |
10 | 11 | 12 unununum_1 | 13 | 14 | 15 | 16 |
17 t_uemura669101 | 18 | 19 | 20 | 21 | 22 | 23 |
24 waheyhey | 25 piano2683 |
- 12/1p進整数環を構成しようかなと思います.CTAC1日目 - algebraic dialy | 壱大整域
- 12/2明日使える? Kanリフトの話CTAC2日目 - algebraic dialy | 壱大整域
- 12/3選択公理⇒排中律CTAC3日目 - algebraic dialy | 壱大整域
- 12/52-圏の定義2-圏の定義 - uniのスケッチノート
- 12/123/2-圏(ordered category)のなにかBarr の定理 - uniのスケッチノート
- 12/17Grothendieck fibration についてなにか
- 12/24
- 12/252-圏論における余テンソル積と重み付き余極限use_of_cotensor_product.pdf - Google ドライブ