bimodules in a biclosed category