?? so for a commutative ring hom k1 -> k2, consider functors _k2-mod_ -> _k1-mod_ given by "tensoring over k2 with a given k2-module g" .... ???? are these precisely the left adjoint k1-linear functors there ?? ... ???? ..... ???? .....

?? "forcing cocone to become universal" ... ??? .... ?? "objects that believe it's universal" ... ??? ....

?? bit about "co-yoneda morphism" (???? .....) here ?? ..... ???

?? left adjoint from _tqs(punctured plane)_ to x (?? x cocomplete ... ??? .... ??? ....) as .... ??? ... ?? x-object acted on by _n_^2, for which ...

?? equivalence between hom property and tensor property here ?? ... ???? .....