I am trying to understand how the tensor product of presentable categories works: let $\otimes\colon {\cal A}\times {\cal B}\to {\cal A}\otimes{\cal B}$ the universal bilinear functor corresponding to $\text{id}_{{\cal A}\otimes{\cal B}}$ under the correspondence defining ${\cal A}\otimes{\cal B}$, $$ \text{Bilin}({\cal A}\times{\cal B}, {\cal E})\cong \text{Func}({\cal A}\otimes{\cal B},{\cal E}). $$ What is the answer to these questions?
Does the essential image of $\otimes$ generate ${\cal A}\otimes{\cal B}$ under colimits? This seems the analogue of $V\otimes W$ being made by formal sums of monomials. Does $\otimes$ have some other remarkable properties (fullness, faithfulness, commutes/reflects/creates co-limits?)
We have a fairly explicit (albeit constructed by absolute nonsense) model for ${\cal A}\otimes{\cal B}$, that is $\text{Func}({\cal A}^\text{op}, {\cal B})_R$ (functors ${\cal A}^\text{op}\to \cal B$ which commute with limits (and filtered colimits? I see different definitions here). This means that to $\otimes$ correspond a canonical functor ${\cal A}\times {\cal B} \to \text{Func}({\cal A}^\text{op}, {\cal B})_R$, sending $(A,B)$ to... who?
The adjoint functor theorem gives $A\otimes -$ and $-\otimes B$ right adjoints $A/-$ and $-\backslash B$; how are these functors ${\cal A}\otimes{\cal B}\to {\cal A,B}$ defined? There are Kan extensions one can write, but...