Funktoren sind ein zentrales Grundkonzept des
mathematischen Teilgebiets der
Kategorientheorie. Ein Funktor ist eine strukturerhaltende
Abbildung zwischen zwei Kategorien. Konkrete Funktoren haben in vielen Teilgebieten der Mathematik eine besondere Bedeutung. Funktoren werden auch
Diagramme genannt (mitunter nur in bestimmten Kontexten), da sie eine formale Abstraktion
kommutativer Diagramme darstellen.