Sheafification by locally representable germs (source code)

= Sheafification by locally representable germs
{title2=$\mathcal F^+(U)\subseteq\prod_{x\in U}\mathcal F_x$}

For a <presheaf>, take families of elements of its <stalks> which near each point are the <germs> of one <presheaf> section. Pointwise operations and restriction make these families into a <sheaf>. The map sending a section to all its <germs> is its <sheafification> map.