The collection of all functors C → D {\displaystyle {\mathcal {C}}\to {\mathcal {D}}} form the objects of a category: the functor category.
Η συλλογή όλων των συναρτητών  C → D {\displaystyle {\mathcal {C}}\to {\mathcal {D}}}  σχηματίζει τα αντικείμενα μιας κατηγορίας: την κατηγορία συναρτητή.