MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Representing cohomology of a sheaf à la Eilenberg-Maclane

Suppose that we are given a nice space $X$ and a sheaf of abelian groups $F$ on $X$. Fix an integer $n$. Then We have a contravariant functor from nice spaces over $X$ to abelian groups; Namely, to a space $f: Y \to X$ we associate the abelian group $H^n (Y, f^{*}F)$ (Sheaf cohomology).

If $X$ is a point, Then this functor is represented, in the homotopy category, by the Eilenberg-Maclane space $K(F,n)$.

My questions are:

1) Can one formalize what will it mean for our functor to be representable, "homotopically"? I am not very sure, but I suspect that the most naive definition of homotopy category of spaces over $X$, and the requirement that the functor is representable in this category, are not right (and I did not check that the functor actually factors to this "homotopy" category).

2) Is it representable?

-

Sheaf cohomology over $X$ is representable in the homotopy category of oo-stacks over X / spaces over X, yes.
Urs -- maybe it's just me but I've taken a look at that page and I have no idea what the theorem is. Could you please state it explicitly: for any $Y$ over $X$ we have $H^{\ast}(Y,f^{-1}F)$ is the $Hom$ in the category such and such from $Y$ to the object such and such constructed from $X$ and $F$? – algori Jul 20 2010 at 23:47