Verze z 8. 2. 2012, 11:13 (editovat) JAnDbot (diskuse \| příspěvky) m (sjednocení pahýlů na jednotnou šablonu {{Pahýl}}; kosmetické úpravy) ← Přejít na předchozí porovnání		Verze z 5. 8. 2012, 01:31 (editovat) (zrušit editaci) Jj14 (diskuse \| příspěvky) m (typo) Přejít na další porovnání →
\| jazyk = anglicky }}</ref> které * ~~přiradí~~přiřadí ke každému objektu <math>X \in C</math> object <math>F(X) \in D</math>, * ~~přiradí~~přiřadí ke každému morfizmu <math>f:X\rightarrow Y \in C</math> morfizmus <math>F(f):F(X) \rightarrow F(Y) \in D</math>, tak, že je splněno <math>F(\mathrm{id}_{X}) = \mathrm{id}_{F(X)}\,\!</math> pro každý objekt <math>X \in C</math> <math>F(g \circ f) = F(g) \circ F(f)</math> pro všechny morfizmy <math>f:X \rightarrow Y\,\!</math> a <math>g:Y\rightarrow Z.\,\!</math> == Kovariantní a kontravariantní funktor == Definice výše je definice kovariantního funktoru. Kontravariantní funktor je takové zobrazení ''F'', které morfizmu <math>f:X\to Y</math> kategorie ''C'' ~~přiradí~~přiřadí morfizmus <math>F(f):F(Y)\to F(X)</math> v kategorii ''D'' a platí <math>F(f\circ g)=F(g)\circ F(f)</math>. {{Pahýl část}}

Funktor: Porovnání verzí

Funktor (editovat)