>>833
ああ、圏なんですね
グロタンディーク位相が定義できて
コホモロジーが得られればよいのですが