0835132人目の素数さん垢版2018/01/22(月) 13:55:49.96ID:BmgB6IrU >>833 ああ、圏なんですね グロタンディーク位相が定義できて コホモロジーが得られればよいのですが