もう出かける時間だ。項目だけ。 圏のイデアルを真面目に考える必要がある。 加法圏という概念は、F1, F2, B上の加群の圏で豊饒化すると一般化できる。 豊穣圏も、集合をモノイド圏（対称とは限らない）に一般化すると、PROPとかも一度に扱える。 階数(grade…