??so what about, given a nice ringed topos (or something...), take the category where an object is a morphism of dualizable module-sheaves, and the morphisms are ... ??hopefully eventually obvious?? ...

??but does this sound like it could be rigth adjoint to anything?? ... ????