so consider inclusion (2,1)-functor from (2,1)-cat of t-modeled toposes with morphisms the "strong triangles" to (2,1)-cat of same objects but with morphisms the lax triangles ... ??or something?? ... ??then what about some sort of (2,1)-adjoint here?? .... ???....