Monoidal version of profunctors/distributors

73 Views Asked by At

The usual definition for a Profunctor / Distributor is a functor in $Cat$

$$B^{op} \times A \to Set $$

So that it's adjunct to $$A \to Set^{B^{op}} $$

Have generalisation

$$ B^{op} \otimes A \to Set$$ to an arbitrary monoidal product been fruitfully studied ?