There are several results in category theory which invoke the axiom of choice for their proof.
Υπάρχουν πολλά αποτελέσματα στη θεωρία κατηγορίας που επικαλούνται το αξίωμα της επιλογής για την απόδειξη τους.