Funktor

Mall:Wiktionary-box Inom kategoriteorin i matematik är en funktor en tillordning som på ett naturligt sätt till varje objekt i en kategori associerar något objekt i samma eller en annan kategori.

Inledning

En mycket vanlig konstruktion i matematiken är att man till en struktur av en viss typ associerar en annan struktur. Några exempel på sådana konstruktioner är:

1. Till ett topologiskt rum associerar man dess homologigrupper
2. Till en ring associerar man dess maximala fraktionsring
3. Till en grupp associerar man dess centrum
4. Till ett komplex associerar man dess homologikomplex
5. Givet en abelsk grupp $N$, associerar man till varje abelsk $M$ grupp gruppen av homomorfismer $\mathrm{Hom}(M,N)$

Om en sådan association är sådan att avbildningar mellan två strukturer på ett naturligt sätt inducerar avbildningar mellan de associerade strukturerna, kallas associationen för en funktor. Mer allmänt kan man definiera funktorer mellan två kategorier Alla associationer i listan ovan är funktorer.

Kovariant och kontravariant funktor

En kovariant funktor är en funktor som bevarar ordningen på morfierna.

En kontravariant funktor är en funktor som kastar om ordningen på morfierna.

Om termen "funktor" används utan att variansen anges, så syftar termen oftast på en kovariant funktor.

Definitioner

Givet två kategorier $C,D$ så är en (kovariant) funktor $F$ ett par av tillordningar $(F_0,F_1)$ där $F_0$ avbildar objekt i $C$ på objekt i $D$ och $F_1$ avbildar morfier i $C$ på morfier i $D$ sådan att följande är sant:

• Om $c,c^{\prime }\in C$ och $\varphi :c\to c^{\prime }$ så gäller $F_1(\varphi ):F_0(c)\to F_0(c^{\prime })$
• Om ${\varphi }_2={\varphi }_1\circ {\varphi }_0$ så $F_1({\varphi }_2)=F_1({\varphi }_1)\circ F_1({\varphi }_0)$

För en kontravariant funktor ersätts villkoren med:

• Om $c,c^{\prime }\in C$ och $\varphi :c\to c^{\prime }$ så gäller $F_1(\varphi ):F_0(c^{\prime })\to F_0(c).$
• Om ${\varphi }_2={\varphi }_1\circ {\varphi }_0$ så $F_1({\varphi }_2)=F_1({\varphi }_0)\circ F_1({\varphi }_1)$

Funktorer med extra egenskaper

Låt $F:𝒞\to 𝒟$ vara en (kovariant) funktor och låt som brukligt ${\mathrm{Hom}}_{𝒞}(X,Y)$ beteckna mängden av morfismer från objektet $X$ till objektet $Y$ i kategorin $𝒞$ (dito för kategorin $𝒟$). Funktorn $F$ ger för varje par $(X,Y)$ av objekt i $𝒞$ en avbildning

$F_{X,Y}:{\mathrm{Hom}}_{𝒞}(X,Y)\to {\mathrm{Hom}}_{𝒟}(F(X),F(Y))$.

Funktorn $F$ sägs vara trogen om varje sådan $F_{X,Y}$ är injektiv. Den sägs vara full om varje sådan $F_{X,Y}$ är surjektiv. En funktor som är både trogen och full sägs vara fullt trogen.