So in a sense, functors between arbitrary categories are a kind of generalization of monoid homomorphisms to categories with more than one object.
Έτσι, κατά μια έννοια, οι συναρτητές μεταξύ αυθαίρετων κατηγοριών είναι ένα είδος γενίκευσης των ομομορφισμών μονοειδών, σε κατηγορίες με περισσότερα από ένα αντικείμενα.