?? having (?? ...) written down formula for [given model of accidental topos of p^1] as lex left adjoint (?? namely, sort of "evaluation" functor ?? ...), can we then fairly straightforwardly interpet that formula as a sesquiherent sheaf ?? .... .... ??? ....

??? similarly for "ordinary tensor product" .... ???? ..... ??? .... ??? and its (still left adjoint ... ?? ...) right adjoint ?? ... ....