lax functors and bimodules