Functors are represented by arrows between categories, subject to specific defining commutativity conditions.
Το Functors αντιπροσωπεύεται από τα βέλη μεταξύ των κατηγοριών, υπό τον όρο στους συγκεκριμένους όρους commutativity καθορισμού.