??so let me try to describe the "tensor product" of (small) finitely cocomplete k-linear categories C and D somewhat explicitly...

??for some reason i'm suspecting that it's something like "fp bimodules that are flat in each argument separately" ... ???

sorry, "flat" here is prety much a red herring ... ??...