Bimodules and natural transformations for enriched $\infty$-categories

Rune Haugseng

We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two…