Funktor: Porovnání verzí

Přidáno 34 bajtů ,  před 11 lety
m (→‎Definice: typo)
 
== Kovariantní a kontravariantní funktor ==
Definice výše je definice kovariantního funktoru. Kontravariantní funktor je takové zobrazení ''F'', které morfizmu <math>f:CX\to DY</math> kategorie ''C'' přiradí morfizmus <math>F(f):F(DY)\to F(CX)</math> v kategorii ''D'' a platí <math>F(f\circ g)=F(g)\circ F(f)</math>.
{{Pahýl část}}