  This is the third part in a series of papers in which we introduce and
develop a natural, general tensor category theory for suitable module
categories for a vertex (operator) algebra. In this paper (Part III), we
introduce and study intertwining maps and tensor product bifunctors.
