??filteredly cocontinuous presheaves on a symmetric monoidal filteredly cocomplete category .... ????....

??something about ... when underlying filteredly cocomplete category (hmmm ...?? ??something about toposes here ????....) is free filteredly cocomplete ... (??something about special case of on a single-object ... ??or something ?? ...) ... ??? ...

???something about filteredly cocontinuous bimodules ... ??and so forth ... ??

??something about "non-toric" case ... ???.... ??...

???category where an object is an open subscheme of scheme x ... ??and a morphism from y to z is ... ?? ... ???...

???anything "kz"-ish going on here ??? ??? or something ??...