（非アーベル）コホモロジー，無限トポス