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