External Axiom of Choice

A category is said to satisfy the external Axiom of Choice iff every epimorphism splits, #m/def/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 has this property.

#state/develop | #lang/en | #SemBr