Direct limit completions of vertex tensor categories

We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain cosets.
Comment: 51 pages; in this version, Theorem 7.1 is improved by removing one of the conditions needed to apply it; corresponding improvements are made to the subsequent examples; final version to appear in Communications in Contemporary Mathematics