This shows that functors can be considered as morphisms in categories of categories, for example in the category of small categories.
Αυτό δείχνει ότι οι συναρτητές μπορούν να θεωρηθούν ως μορφισμοί σε κατηγορίες κατηγοριών, για παράδειγμα, στην κατηγορία των μικρών κατηγοριών.