Funktor

Funktor je pojem z matematiky, konkrétněji z teorie kategorií. Jde o zobecnění pojmu zobrazení. Funktor přiřazuje objektům nějaké kategorie objekty jiné kategorie a morfismům kategorie morfismy jiné kategorie.

Definice

Kategorie s objekty X, Y, Z a morfismy f, g, g ∘ f

Funktor $F$ musí zachovávat skládání morfismů $g$ a $f$

Pro kategorie C a D je funktor F z C do D zobrazení,Šablona:Sfn které

• přiřadí každému objektu $X\in C$ objekt $F(X)\in D$,
• přiřadí každému morfismu $f:X\to Y\in C$ morfismus $F(f):F(X)\to F(Y)\in D$, tak, že je splněno
  • $F({\mathrm{i}\mathrm{d}}_X)={\mathrm{i}\mathrm{d}}_{F(X)}$ pro každý objekt $X\in C$
  • $F(g\circ f)=F(g)\circ F(f)$ pro všechny morfismy $f:X\to Y$ a $g:Y\to Z$.

Tj. funktory musí zachovávat identické morfismy a skládání morfismů.

Kovariantní a kontravariantní funktor

V matematice existuje mnoho konstrukcí, které se chovají funktory, ale „obracejí morfismy“ a „přehazují pořadí skládání“. Proto definujeme kontravariantní funktor F z C do D jako zobrazení, které

• přiřadí každému objektu $X\in C$ objekt $F(X)\in D$,
• přiřazuje každému morfismus $f:X\to Y\in C$ morfismus $F(f):F(Y)\to F(X)\in D$ takový, že platí následující dvě podmínky:
  • $F({\mathrm{i}\mathrm{d}}_X)={\mathrm{i}\mathrm{d}}_{F(X)}$ pro každý objekt $X\in C$,
  • $F(g\circ f)=F(f)\circ F(g)$ pro všechny morfismy $f:X\to Y$ a $g:Y\to Z\in C$.

Variance (složeného) funktoruŠablona:Sfn

• Složení dvou funktorů stejné variance:
  • $\mathrm{C}\mathrm{o}\mathrm{v}\mathrm{a}\mathrm{r}\mathrm{i}\mathrm{a}\mathrm{n}\mathrm{t}\circ \mathrm{C}\mathrm{o}\mathrm{v}\mathrm{a}\mathrm{r}\mathrm{i}\mathrm{a}\mathrm{n}\mathrm{t}\to \mathrm{C}\mathrm{o}\mathrm{v}\mathrm{a}\mathrm{r}\mathrm{i}\mathrm{a}\mathrm{n}\mathrm{t}$
  • $\mathrm{C}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{v}\mathrm{a}\mathrm{r}\mathrm{i}\mathrm{a}\mathrm{n}\mathrm{t}\circ \mathrm{C}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{v}\mathrm{a}\mathrm{r}\mathrm{i}\mathrm{a}\mathrm{n}\mathrm{t}\to \mathrm{C}\mathrm{o}\mathrm{v}\mathrm{a}\mathrm{r}\mathrm{i}\mathrm{a}\mathrm{n}\mathrm{t}$
• Složení dvou funktorů opačné variance:
  • $\mathrm{C}\mathrm{o}\mathrm{v}\mathrm{a}\mathrm{r}\mathrm{i}\mathrm{a}\mathrm{n}\mathrm{t}\circ \mathrm{C}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{v}\mathrm{a}\mathrm{r}\mathrm{i}\mathrm{a}\mathrm{n}\mathrm{t}\to \mathrm{C}\mathrm{o}\mathrm{n}\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{v}\mathrm{a}\mathrm{r}\mathrm{i}\mathrm{a}\mathrm{n}\mathrm{t}$

Všimněte si, že kontravariantní funktory obracejí směr skládání.

Obyčejné funktory se také nazývají kovariantní funktory pro rozlišení od kontravariantních funktorů. Všimněte si, že kontravariantní funktor je možné definovat jako kovariantní funktor na opačné kategorii $C^{\mathrm{o}\mathrm{p}}$.Šablona:Sfn Někteří autoři preferují psaní všech výrazů kovariantně. To znamená, že neříkají, že $F:C\to D$ je kontravariantní funktor, ale $F:C^{\mathrm{o}\mathrm{p}}\to D$ (nebo někdy $F:C\to D^{\mathrm{o}\mathrm{p}}$) a $F$ nazývají funktorem.

Kontravariantní funktory se někdy také nazývají kofunktory.Šablona:Sfn

Výše uvedená definice je definice kovariantního funktoru. Kontravariantní funktor je takové zobrazení F, které morfismu $f:X\to Y$ kategorie C přiřadí morfismus $F(f):F(Y)\to F(X)$ v kategorii D a platí $F(f\circ g)=F(g)\circ F(f)$. Šablona:Pahýl část

Odkazy

Literatura

• Šablona:Citace monografie
• Šablona:Citace monografie
• Šablona:Citace monografie

Související články

• Anafunktor
• Profunktor
• Kategorie funktorů
• Kanovo rozšíření
• Pseudofunktor

Externí odkazy

• Šablona:Commonscat
• Šablona:Citace elektronické monografie
• Šablona:Citace elektronické monografie
• André Joyal, CatLab, Wiki projekt pro prezentaci teorie kategorií
• Šablona:Citace elektronické monografie
• Šablona:Citace elektronické monografie
• Stanford Encyclopedia of Philosophy: “Category Theory“ – autor Jean-Pierre Marquis. Rozsáhlá bibliografie.
• Seznam konferencí o teorii kategorií
• Baez, John, 1996,“The Tale of n-categories.“ Neformální úvod do kategorií vyššího řádu.
• WildCats – balíček pro systém Mathematica věnovaný teorii kategorií. Manipulace a vizualizace objektů, morfismy, kategorie, funktory, přirozené transformace, univerzální vlastnosti.
• The catsters, YouTube kanál o teorii kategorií.
• Video archive záznamy hovorů o kategoriích, logice a základech fyziky.
• Interaktivní stránka, která generuje příklady kategorických konstrukcí v kategorii konečných množin.