One can generalise this definition as well to pointed categories where products and colimits exist. Namely, in this case one has a canonical map Xn → Xn+1, induced by the identity Xn → Xn and the zero map Xn → X. So this results in a direct system of the symmetric products, too and one can therefore define its colimit as the infinite symmetric product.
