??so... "toric quasicoherent sheaves over P^n" allegedly form certain topos ... ??and we think that we sort of know what it's the classifying topos for ... but we're mainly interested in it as theory of poorer doctrine, of course... ??so... model of it wrt poorer doctrine in topos t as .... ???or something???

??or something about ... ???model of it wrt poorer doctrine in actions of commutative monoid m in topos t ... ??or something ... ??? ??something about special case m = 1 ... ??... ???maybe very degenerate??? ....or something ... ???...

???given model of it wrt geometric doctrine in topos t, forgetfully get model of it wrt poorer doctrine in t ... ???...