“…This adjunction is an adjoint equivalence. An analogous statement holds in the bicategory
: using the universal property of Cauchy completion, given a
‐module category
, there is a canonical way to extend the
‐module category structure to
; see, for example, [
34, Section 3.2]. The embedding
then becomes a
‐module functor.…”