??todd mentioned something about... ??separated presheaf as believing that dense inclusion is epi, sheaf as believing it's iso .... ????but then in the accidental topos of a projective toric variety ... ??something about not the map (e,s) : 1+1 -> L (here i'm doibg the case of the projective line...) being an isomorphism, but rather some sort of image inclusion for it... ??without however having automatic access to a systematic concept of "image" .... ???or something??? ....