By a tensor category, I mean here a cocomplete $k$-linear symmetric tensor category, where $k$ is a fixed ground ring. Tensor functors are assumed to be $k$-linear and cocontinuous. I will denote the unit object as $\mathcal{O}$.


Terminology: Let $C$ be a tensor category, $\mathcal{A}$ an algebra in $C$ (i.e. an object equipped with a commutative associative multiplication $\mathcal{A} \otimes \mathcal{A} \to \mathcal{A}$ and a unit $\mathcal{O}\_C \to \mathcal{A}$). Then the $\mathcal{A}$-modules (i.e. objects $M$ together with a morphism $\mathcal{A} \otimes M \to M$ which is compatible with the unit and the multiplication in $\mathcal{A}$) consitute a tensor category $\text{Mod}(\mathcal{A})$.


The forgetful functor $p\_\* : \text{Mod}(\mathcal{A}) \to C$ is right adjoint to the tensor functor $p^\* : C \to \text{Mod}(\mathcal{A}), X \mapsto \mathcal{A} \otimes X$, where here $\mathcal{A} \otimes X$ is given the obvious action. This adjunction is easily seen to be monadic. If $\mathcal{O}'$ denotes the unit object of $\text{Mod}(\mathcal{A})$, then $p\_\* \mathcal{O}' = \mathcal{A}$, so we have a canonical morphism $p^\* \mathcal{A} \to \mathcal{O}'$.


Now let $D$ be another tensor category and $H : \text{Mod}(\mathcal{A}) \to D$ be a tensor functor. Then we get a tensor functor $F = H p^\* : C \to D$ together with a morphism 


$F(\mathcal{A}) = H(p^\* \mathcal{A}) \to H(\mathcal{O}') = \mathcal{O}\_D$


of algebras in $D$. In fact, we get a functor


$Hom(\text{Mod}(\mathcal{A}),D) \to \{(F,\sigma) : F \in Hom(C,D), \sigma : F(\mathcal{A}) \to \mathcal{O}\_D \text{ alg-hom}\}$


**Question** Does this functor reflect isomorphisms? Or is it even an equivalence?


Remark: If $C = \text{Mod}(R)$ for some ring $R$, then the functor *is* an equivalence.



universal property of module categories internal to a tensor category
Your functor is an equivalence. You can explicitly describe an inverse as follows: given a pair $(F, \sigma)$ as you describe, define $H: Mod\_{ \mathcal{A} } \rightarrow D$ by the formula $H(M) = F(M) \otimes\_{ F( \mathcal{A} ) } \mathcal{O}\_{D}$. 


