Funktor

Mal:Kildeløs Funktorer er tilordninger som kan tenkes på som funksjoner mellom kategorier.

Definisjon

La C and D være kategorier. En (kovariant) funktor F fra C til D er en tilordning som

• til ethvert objekt $X\in C$ tilordner et objekt $F(X)\in D$,
• til enhver morfi $f:X\to Y\in C$ tilordner en morfi $F(f):F(X)\to F(Y)\in D$ slik at de følgende krav oppfylles:
  • $F({\mathrm{i}\mathrm{d}}_X)={\mathrm{i}\mathrm{d}}_{F(X)}$ for alle $X\in C$
  • $F(g\circ f)=F(g)\circ F(f)$ for alle morfier $f:X\to Y$ og $g:Y\to Z.$

En kontravariant funktor F fra C til D er en tilordning som

• til ethvert objekt $X\in C$ tilordner et objekt $F(X)\in D$,
• til enhver morfi $f:X\to Y\in C$ tilordner en morfi $F(f):F(Y)\to F(X)\in D$ slik at de følgende krav oppfylles:
  • $F({\mathrm{i}\mathrm{d}}_X)={\mathrm{i}\mathrm{d}}_{F(X)}$ for alle $X\in C$
  • $F(g\circ f)=F(f)\circ F(g)$ for alle morfier $f:X\to Y$ og $g:Y\to Z.$

Funktorer må altså bevare identitetsmorfier og komposisjon av morfier.

Eksempler

I kategorien F-vektorrom for en gitt kropp F er de følgende tilordningene funktorer:

• Tilordning av dualrom V* til et vektorrom V.
• Tilordning av homomorfier inn i og ut av V. Hom(V,–) er kovariant og Hom(-,V) er kontravariant.
• Tilordning av F-tensorprodukt med V.