Funktor: Porovnání verzí

== 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ř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>.

== Reference ==

<references />

== Externí odkazy ==

* {{Commonscat}}

{{Autoritní data}}