As is well known, the definition of an algebra can be generalised to the notion of an algebra $A$ in an monoidal category $C$ with finite sums. What I would like to know is if the notion of generating subset of an algebra be generalised to this context? I would naively guess that one would need the existence of infinite sums in $C$, define a _generating set_ to be a sub-object $X$ of $A$, such that there is an isomorphism $$ A \simeq \bigoplus_{i \in I} B_i \otimes S \otimes B'_i, $$ for some objects $B_i,B'_i \in C$. Moreover, is this definition invariant under equivalence of categories, i.e. if $A$ is generated by a subject object $S$ in $C$, which is equivalent to $D$ by a functor $F$, then is $F(A)$ generated by $F(S)$? Finally, what is a good reference for all this?