The discussion can be made completely rigorous by, for example, restricting attention to small categories or by using universes.
Η συζήτηση μπορεί να γίνει εντελώς ακριβής, για παράδειγμα, περιορίζοντας την προσοχή στις μικρές κατηγορίες ή χρησιμοποιώντας σύμπαντα.