A category is said to satisfy the external Axiom of Choice iff every epimorphismsplits, cat
i.e. has a section (preïnverse).
The name comes from the fact that the traditional Axiom of Choice is just the statement that Category of sets has this property.