Funktor: Porovnání verzí
Smazaný obsah Přidaný obsah
m Robot: Odebírám de:Kategorientheorie#Funktor (strong connection between (2) cs:Funktor and de:Funktor (Mathematik)) |
m Robot: přidáno {{Autoritní data}}; kosmetické úpravy |
||
Řádek 12:
| isbn = 9780486471891
| jazyk = anglicky
}}</ref>
* přiřadí ke každému objektu <math>X \in C</math> object <math>F(X) \in D</math>,
* 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
== Kovariantní a kontravariantní funktor ==
Řádek 25:
<references />
{{Pahýl}}
{{Autoritní data}}
[[Kategorie:Teorie kategorií]]
| |||