コホモロジー次元

位相空間 $X$ のコホモロジー次元とは、すべての層 $\mathcal F \in \mathsf{Ab}(X)$ とすべての $i > n$ について $H^i(X, \mathcal F) = 0$ となる最小の整数 $n \ge 0$（無ければ $\infty$）をいう。