alg_d伝説はここにある #CTAC2018
（alg_d以外の方の執筆も歓迎です）
[11/3追記]pure category theoryな内容に限らず、ユーザーとして圏論を使っている方々、最近圏論勉強しはじめた方々の記事も歓迎です！
2017年の→https://adventar.org/calendars/2393
| SUN | MON | TUE | WED | THU | FRI | SAT |
|---|---|---|---|---|---|---|
1  kripkejoyal | ||||||
2  圏論のあか☆ねこ | 3  mod_poppo | 4 | 5 | 6  コロちゃんぬ | 7 mod_poppo | 8 |
9  t_uemura669101 | 10 | 11  yf0fyf | 12 | 13 | 14 | 15 |
16 圏論のあか☆ねこ | 17 | 18  haru_math | 19  梅崎直也 | 20  furea2 | 21  R_O_R_I_J_O | 22  waidotto |
23  waheyhey | 24  italing_math | 25  piano2683 |
- 12/1（圏論前提）「圏とグロタンディーク位相」～集合と位相を学ぶその前に～ Topos-theoretic background [Olivia Caramello] まとめGrothendieck Topos への入門 - Qiita
- 12/2まだ対象で消耗してるの? ～射だけで理解する圏論～まだ対象で消耗してるの? ～射だけで理解する圏論～
- 12/3独断と偏見で圏論の入門書・教科書を紹介します圏論の入門書（2018年版） | 雑記帳
- 12/6『ベーシック圏論』の2章「随伴」について詳しく書きました随伴は あらゆるところに 現れる - Corollaryは必然に。
- 12/7アプリカティブ関手ってなに？モノイド圏との関係は？調べてみました！アプリカティブ関手ってなに？モノイド圏との関係は？調べてみました！ | 雑記帳
- 12/9トポスと高階論理
- 12/11直観主義線型論理の圏論的意味論について
- 12/16#豊穣圏は射が取れないからクソ ～射だけで理解できない豊穣圏～#豊穣圏は射が取れないからクソ ～射だけで理解できない豊穣圏～
- 12/18Categorified reeb graph
- 12/19D-prestackについてD-prestackについて - pi
- 12/20HTT 2章の補足
- 12/21最近∞圏を頑張って勉強してるのでそれについて書きます！Dropbox - advent.pdf
- 12/22CoalgebraとしてのKripkeフレーム
- 12/23？
- 12/24ある有限性を満たすアーベル圏の組合せ論的分類について。Igusa-Todorovの有名な結果を、分野外の人に向けて、そもそもなぜそのようなことが可能なのか（圏と環との対応、いわゆるAuslander対応や、グラフを用いた圏の表示の組合せ論的構造とか）について重点を置いて説明します。いたりんっ - pdf
- 12/25topos-theoretic backgroundを執筆してくださることを期待して、Olivia Caramelloの分類トポス研究について書くと思います。