ホモロジー代数学

定義：前層（presheaf）集合論的な定義$X$ を集合、$\mathcal O$ を開集合系とし、$(X, \mathcal O)$ を位相空間とする。開集合 $U \in \mathcal O$ に対して、アーベル群 $F(U)$ を...