Categories with sums and right distributive tensor product