Bimodular functor Bimodular profunctor Tensor of bimodular categories bimodular tambara Module category Tags: monoidal category.
