If two small categories are weakly equivalent, then they are equivalent.
Αν δύο μικρές κατηγορίες είναι ασθενώς ισοδύναμες, τότε είναι ισοδυναμία των κατηγοριών.