2009-01-19 コサイクルとマグマ メモ 圏一般論 圏で定義されて圏に値を取るコチェーンを考えている。しかし、定義域が圏である必要はないと思われる。高次グラフ、またはフーティアのいうマグマが適切ではないか?