Define finite direct sums
Remove dual space definition from tensors.md, add to linear_maps.md