By an abelian $\otimes$-category I mean a symmetric monoidal category $(\mathcal{A},\otimes,\mathcal{O})$, such that $\mathcal{A}$ also is an abelian category and for every $M \in \mathcal{A}$ the functor $M \otimes - $ is cocontinuous (i.e. right exact and preserves coproducts; in particular additive). A line bundle is defined as an object $\mathcal{L}$ of $\mathcal{A}$ such that there is some object $\mathcal{L}'$ such that $\mathcal{L} \otimes \mathcal{L}' \cong \mathcal{O}$. An example is the category of (quasi-coherent) modules on a locally ringed space. The line bundles then coincide with the modules which are locally free of rank $1$ (see here).
Now I want to show that in general these line bundles have similar properties as in the case of the module category. For example it's not hard to show that if $\mathcal{L}$ is a line bundle, then it is flat in the sense that $\mathcal{L} \otimes -$ is exact (it is even an automorphism of $\mathcal{A}$ with inverse $\mathcal{L}^{-1} \otimes -$). The isomorphism classes of line bundles yield a group, which may be denoted as $\text{Pic}(\mathcal{A})$.
Question 1. Is there any literature about these abelian $\otimes$-categories which treats them systematically? Perhaps the "usual" definition differs a little from mine, this does not matter.
Question 2. Let $\mathcal{L}$ be a line bundle and $\phi : \mathcal{L} \to \mathcal{L}$ an epimorphism. Does it follow that $\phi$ is an isomorphism?
Question 3. Let $\mathcal{L}$ be a line bundle and assume $\phi : \mathcal{L} \to \mathcal{L}$ is an epimorphism. Does it follow that there is an epimorphism $\psi : \mathcal{L}^{-1} \to \mathcal{L}^{-1}$ such that $\phi \otimes \psi$ corresponds to the identity of $\mathcal{O}$ under the isomorphism $\mathcal{L} \otimes \mathcal{L}^{-1} \cong \mathcal{O}$?
Question 4. Assume we also have a $\lambda$-structure on $\mathcal{A}$ which is compatible with the given data. Is it possible to give a reasonable definition of a locally free object of rank $n$? See also this question.