?? quasicoherent sheaves over toric variety as ab gp objects in an ab cat, but tensor product arising that way not the "right" one ... ??? ... ?? ringed topos with external Z as the ring ... ??? quasicoherence here ??? ...