So, this a question that arose from reading the first few pages of Ramanan's (excellent) book "Global Analysis", which uses modern algebraic notions used mainly in Category theory, while avoiding any actual Category theory.
Let $X$ be some topological space, and let $\mathcal F$ be some presheaf defined on $X$. Let us assume $X$ fulfills some topological axioms, say it is Hausdorff. Is there some necessary condition that $\mathcal F$ must fulfill in order to make sure that the associated etale space (IE the disjoint union of all stalks $\mathcal F _x$ for all $x\in X$ together with the topology generated by the sets $\tilde s (U)$, the germs of elements of the open sets of $X$) is also Hausdorff? Is it Hausdorff for any presheaf? What about other topological axioms?