Eine Abbildung zwischen Kategorien, die jedem Objekt und Morphismus der Quellkategorie ein Objekt bzw. einen Morphismus der Zielkategorie zuordnet und dabei Identitäten und Komposition erhält (kovariant) oder Pfeile umkehrt (kontravariant über die gegenüberliegende Kategorie).

Prinzip

Ein Funtor übersetzt kategoriale Struktur: Er erhält die Kompositionsalgebra von Morphismen und Identitäten, sodass kategoriale Konstruktionen (Limiten, Kolimiten, Natürlichkeit) respektiert oder kohärent zwischen Kategorien verglichen werden können.

Demonstration

Der 'forgetful' Funtor U: Gruppen → Mengen ordnet jeder Gruppe ihre zugrundeliegende Menge und jedem Gruppenhomomorphismus die zugrundeliegende Funktion zu; der Hom-Funtor Hom(A,-) sendet Objekte auf Hom-Mengen und Morphismen auf Vor- oder Nachkompositionsabbildungen.

Fehlanwendung

Eine bloße Zuordnung auf Objekte als Funtor zu bezeichnen, ohne die Bilder der Morphismen zu spezifizieren oder die Identitäts-/Kompositionsgesetze zu prüfen; anzunehmen, ein Funtor sei voll, treu oder essenziell surjektiv ohne Nachweis.

Konsequenz

Funtoren ermöglichen den Strukturtransfer, den Vergleich von Kategorien, die Formulierung natürlicher Transformationen sowie von Äquivalenzen und Adjungtionen; sie machen abstrakte Beziehungen konkret und komponierbar.

Umkehrung

Eine reine Korrespondenz von Objekten, die Morphismen und Komposition ignoriert, ist kein Funtor; dadurch geht die Möglichkeit verloren, über Diagramme und Natürlichkeit zu schließen.

Abgrenzung

Es muss die Wirkung auf Objekte und Morphismen angegeben und Funktorialität (Erhalt von Identitäten und Komposition) erfüllt sein; Kovarianz vs. Kontravarianz ist explizit anzugeben. Höhere kategoriale Verallgemeinerungen (2‑Funtoren, ∞‑Funtoren) erweitern das Konzept.

Semantische Spannung

Funtor versus bloße Abbildung von Objekten: Funtoren müssen Morphismen kohärent behandeln; Verwechslungen treten zwischen mengen-theoretischen Objektzuordnungen und kategorialen Funtoren sowie zwischen kovariantem und kontravariantem Verhalten auf.

Synthese

Ein Funtor ist der systematische Übersetzer zwischen Kategorien, der Objekte und Pfeile unter Erhalt der Kompositionsalgebra und Identitäten überträgt und so kohärenten Vergleich und Transfer kategorialer Struktur ermöglicht.