??so what _about_ concept of "quasicoherent module object in (commutatively) ringed topos" ??? ... and so forth ... ???...

??anything like a doctrine morphism here????

??so what _is_ going on here???....

??_is_ there any interesting relationship between "local presentation" and "locally presentable" ???.... ... ???....

??what about whether martian and i habe been miscommunicating in this respect at some point??...