As a result, this defines a category of categories and functors – the objects are categories, and the morphisms (between categories) are functors.
Στην πραγματικότητα,αυτό που έχουμε κάνει είναι να καθορίσουμε μια κατηγορία κατηγοριών και functors – τα αντικείμενα είναι κατηγορίες, και οι μορφισμοί (μεταξύ των κατηγοριών) είναι functors.