is the Direct sum just another name for the Cartesian product?