Twisted tensor products of nonlocal vertex algebras

In this paper we introduce and study a twisted tensor product construction of nonlocal vertex algebras. Among the main results, we establish a universal property and give a characterization of a twisted tensor product. Furthermore, we give a construction of modules for a twisted tensor product. We also show that smash products studied by one of us before can be realized as twisted tensor products.