Presheaf; subsheaf; it’s just a functor defined from a “simple” category of opens (with hom set only the inclusion) to Ab. Require F(empty)=0, gluing condition and unique condition.
Presheaf; subsheaf; it’s just a functor defined from a “simple” category of opens (with hom set only the inclusion) to Ab. Require F(empty)=0, gluing condition and unique condition.