Maybe this is a very naive question because I don't know much about constructive mathematics besides basic definitions.
Well, according to this article, I can interpret most of mathematics in a topos with a natural number object. However, AC is not necessarily satisfied and in mathematics usually we consider infinite product of spaces, groups etc. using AC to guarantee that the product is not empty. How can I guarantee that the product is not empty in constructive mathematics if AC is not satisfied?