??so is it true that ... ??quasicoherent sheaves over a toric variety are essentially just abelian group objects in its topos of "toric quasicoherent sheaves" ?? ... ??or something ??...

??something about k-module objects in a (cocomplete?? ??or something?? ...) category vs "k-linearization" of it ... ??? ....and so forth ...

??maybe restrict to just a topos for now, or something??? ... left- _and/or_ right-universal property of k-module objects in topos t wrt cocontinuous (??or something??) k-linear functors ... ?? and so forth ???....