今日の大事なこと

もう出かける時間だ。項目だけ。

1. 圏のイデアルを真面目に考える必要がある。
2. 加法圏という概念は、F₁, F₂, B上の加群の圏で豊饒化すると一般化できる。
3. 豊穣圏も、集合をモノイド圏（対称とは限らない）に一般化すると、PROPとかも一度に扱える。
4. 階数(grade)付き圏はけっこう重要かも。
5. サブ関手の概念も重要そうだ。