tensor-of-bimodular-categories