Αξίωμα της επιλογής: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
→Ισοδύναμα: Διόρθωση στη διατύπωση Λήμματος του Zorn |
μ Το γραμματικά σωστό είναι "πληροί" (κλίση του συνηρημένου πληρόω-πληρώ) |
||
Γραμμή 155:
* Κάθε μικρή [[κατηγορία (μαθηματικά) | κατηγορία]] έχει [[σκελετό (θεωρία κατηγορία) | σκελετό]].
* Αν δύο μικρές κατηγορίες είναι ασθενώς ισοδύναμες, τότε είναι [[ισοδυναμία των κατηγοριών]].
* Κάθε συνεχή συνάρτηση σε ένα μικρό-complete κατηγορίας που
==Ηπιότερες μορφές==
| |||