Is there a good way to define a sheaf over a simplicial set - i.e. as a functor from the diagram of the simplicial set to wherever the sheaf takes its values - in a way that while defined on simplex by simplex corresponds in some natural manner to what a sheaf over the geometric realization of the simplicial set would look like?


*Edited to add:* I'm actually interested in the question in a concrete fashion rather than an abstract one - I'm trying to figure out whether there might be some interesting interpretation of sheaves over the nerve of a category generated by a network; similar to current work by Robert Ghrist that takes a network and views it as a graph, and thus as a topological space (1-dim simplicial complex), and manages to find useful interpretations of sheaves on this particular space in terms of network analysis.


Hence, what I'm really looking for is an interesting definition for, say, the nerve of the category generated by a finite directed graph, or so...


*Edited to add:* In off-channels, fpqc has clarified his argument in the answer I've accepted. Specifically, $N(C)$ for a category has inherent direction data that is lost in $|N(C)|$. This messes up attempts to formulate an idea of *sheaves* over $N(C)$ in a way that stays faithful to the definition of sheaves over $|N(C)|$.



Sheaves over simplicial sets
Clearly looking at sheaves on the geometric realisation gives something too far
removed from the simplicial picture. This is essentially because there are too
many sheaves on a simplex have (most of which are unrelated to simplicial
ideas). What one could do is to consider such sheaves which are constructible
with respect to the skeleton filtration, i.e., are constant on each open
simplex. This can be described inductively using Artin gluing. I think it
amounts to the following for a simplicial set $F$.


For each simplex $c\in F\_n$ we have a set $T\_c$, the constant value of the sheaf
$T$ on the interior of the simplex corresponding to $c$.


For each surjective map $f\colon [n] \to [m]$ in $\Delta$ the corresponding (degeneracy) map
on geometric simplices maps the interior of $\Delta\_n$ into (onto in fact) the interior of $\Delta\_m$ and
hence we have a bijection $T\_{f(c)} \to T\_c$. These bijections are transitive with
respect to compositions of $f$'s.


For each injective map $f\colon [m] \to [n]$ in $\Delta$ the corresponding map on geometric
simplices maps $\Delta\_m$ onto a closed subset of $\Delta\_n$. If $j\colon \Delta^o\_n \hookrightarrow \Delta\_n$ is the
inclusion of the interior we get an adjunction map $T \to j\_\ast j^\ast T$ and
$j\_\ast j^\ast T=T\_c$ where $T\_c$ also denotes the constanct sheaf with value $T\_c$. If
$f'\colon \Delta^o\_m \hookrightarrow \Delta\_n$ is the inclusion of the interior composed with $f$ we can
restrict the adjunction map to get a map $T\_{f(c)}=f'^\ast T \to f'T\_c$ and taking
global sections we get an actual map $T\_{f(c)} \to T\_c$. These maps are transitive
with respect compositions of $f$'s.


We have a compatibility between maps coming from surjections and
injections. Unless something very funny is going on this compatibility should be
that we wind up with a function on the comma category $\Delta/F$ which takes
surjections $[n] \to [m]$ to isomorphisms.


There is the stronger condition on the sheaf $F$, namely that it is constant on
each star of each simplex. This means on the one hand that it is locally
constant on the geometric realisation, on the other hand that $T\_{f(c)} \to T\_c$
is always an isomorpism.


[Added] Some comments intended to give some kind of relation with the answer
provided by fpqc. My suggested answer is not homotopy invariant in the sense
that a weak (or even homotopy) equivalence of simplicial sets does not induce an
equivalence on the category of sheaves. This is so however if one, as per above,
adds the condition that all the maps $T\_{f(c)} \to T\_c$ are isomorphisms. However,
that condition is not so good as many maps that are not weak equivalences
induces category equivalences (it is enough that the map induce isomorphisms on
$\pi\_0$ and $\pi\_1$). This is a well-known phenomenon and has to do with the fact
the $T\_c$ are just sets. One could go further and assume that the $T\_c$ are
topological spaces and the maps $T\_{f(c)} \to T\_c$ continuous. Of course adding
the condition that these maps be homeomorphisms shouldn't be right thing to do,
instead one should demand that they be homotopy (or weak) equivalences. Again,
this shouldn't be quite it because of the transitivity conditions. We should not
have that the composite $T\_{g(f(c))} \to T\_{f(c)} \to T\_c$ should be equal to
$T\_{g(f(c))} \to T\_c$ but rather homotopic to it. Once we have opened that can of
worms we should impose higher homotopies between repeated composites. This can
no doubt be (has been) done but there seems to be an easier way out. In the
first step away from set-valued $T\_c$ we have the possibility of they being
instead categories. In that case the higher homotopy conditions is that we
should have a pseudofunctor $\Delta/F \to \mathcal{C}\mathrm{at}$. Even they are
somewhat unpleasant and it is much better to pass to the associated fibred
category $\mathcal{T} \to \Delta/F$. In the general case, and admitting that $\Delta/F$ is
essentially the same things as $F$ itself, we should therefore look at
(Serre) fibrations $X \to |F|$ or if we want to stay completely simplicial, Kan
fibrations $X \to F$. This gives another notion of (very flabby) sheaf which now
should be homotopy invariant (though that should probably be in the sense of
homotopy equivalence of $\Delta$-enriched categories).


