External direct sum