層コホモロジー：Xを位相空間とすると、X上の全てのアーベル群の層の圏は、充分な単射的対象を持つアーベル圏である。
层上同调：对拓扑空间X{\displaystyleX}，考虑其上的阿贝尔群层构成的范畴，它有充足的内射元。