Power of sets as a capital regular category (${\mathbf{Set}}^I$)

Here $I$ is a set regarded as a discrete category. Finite limits and regular epimorphisms are coordinatewise. A well-supported object is a family of nonempty sets. With the axiom of choice, every coordinate element extends to a global point of its product. Any subobject containing all global points must therefore contain every coordinate element, and be the whole family. Thus the category is capital. Families with some empty coordinates explain why global points need not reflect arbitrary isomorphisms.

If some $f_i$ is not injective, extend two distinct equal-image elements to tuples using common choices at all other coordinates; the product is not injective. If some $f_i$ is not surjective, extend a missing target element to a tuple; the product is not surjective. The axiom of choice supplies these extensions. Thus the set-product functor reflects isomorphisms between families whose coordinates are all nonempty.