“…We denote by C-mod the abelian category of all covariant functors from C to Ab. The nth cohomology group of C with coefficients in a functor F ∈ C-mod, H n (C; F), can be defined as the nth higher inverse limit lim ← − n C F [2,14,26,32]. If A is an abelian group and A is the corresponding constant functor which sends every object to A and every morphism to the identity, then H n (C; A) ∼ = H n (|C|, A), where |C| is the topological realization of NC-the nerve of C. We are particularly interested in the case where A is a commutative ring with identity, because then H * (C; A) ∼ = H * (|C|, A) will become a graded commutative ring.…”