"tensor product of cocomplete categories" ... ?? "universal bi-cocontinuous" ...

"tensor product of k-modules" ... k comm ring ... "universal bilinear ... " ...

"measures on u(x) X u(y), mod bilinear relations" ... ???

x,y cocomplete categories ....

???presheaves on u(x) X u(y) .... ???

??? "object o that believe that cocone c is a colimit cocone " ... ????

?? "homming into o takes c to a limit cone" ???? ...


??? when does/n't universally imposing colimit property give "reflective subcategory" ??? ..... ????....

??? "presheaf p on u(x) X u(y) st for any object x1 in x and colimit cocone c in y, the cocone yoneda( "x1 X c" ) gets taken to a limit cone by homming into p" ... ????

u(x)^op -> _presheaf_(u(y) ... ???....