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

Abstract

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 kinds of 1-morphisms are functors and bimodules. We then consider a natural definition of natural transformations in this context, and show that in the underlying $(\infty ,2)$-category of enriched $\infty$-categories with functors as 1-morphisms the 2-morphisms are given by natural transformations.

29 pages, v2: accepted version

References in corpus (2)

• The higher Morita category of $E_n$-algebras
• Segal Enriched Categories I

Cited by in corpus (7)

• Two models for the homotopy theory of $\infty$-operads
• Kan extensions and the calculus of modules for $\infty$-categories
• Model Structures for Correspondences and Bifibrations
• Iterated traces in 2-categories and Lefschetz theorems
• Completeness for monads and theories
• A universal characterization of noncommutative motives and secondary algebraic K-theory
• Shadows are Bicategorical Traces