The notion of a tensor product with projections or with inclusions is defined. It is shown that the definition of stochastic independence relies on such a structure and that independence can be defined in an arbitrary category with a tensor product with inclusions or projections. In this context, the classifications of quantum stochastic independence by Muraki, Ben Ghorbal, and Sch\"urmann become classifications of the tensor products with inclusions for the categories of algebraic probability… Expand