A functor associates to every object of one category an object of another category, and to every morphism in the first category a morphism in the second.
Ένα functor συνδέει σε κάθε αντικείμενο μιας κατηγορίας ένα αντικείμενο μιας άλλης κατηγορίας, και σε κάθε μορφισμό στην πρώτη κατηγορία ένα μορφισμό στη δεύτερη.