Mengen/Abbildungen/Kontravarianter Funktor/Beispiel

Es sei die Kategorie der Mengen und sei eine fixierte Menge. Dann ist die Zuordnung, die jeder Menge die Abbildungsmenge zuordnet, ein kontravarianter Funktor. Einem Morphismus wird dabei die Abbildung

zugeordnet.