Finiteness properties of Ind-Sheaves with Ring Actions

In this paper, we shall consider some finiteness of ind-sheaves with ring actions. As the main result of this paper, there exists an equivalence of categories between the abelian category of coherent ind-$\beta \mathcal{A}$-modules and the one of coherent $\mathcal{A}$-modules, where $\mathcal{A}$ is a sheaf of k-algebras and $\mathbb{k}$ is a field.