Funktor: Porovnání verzí
Smazaný obsah Přidaný obsah
m →Definice: Oprava "object" > "objekt", přesun interpunkce za vzorcem dovnitř vzorce (kvůli automatické mezeře za vzorcem) značka: editace z Vizuálního editoru |
m →Definice: typogr. |
||
Řádek 13:
| jazyk = anglicky
}}</ref> které
* přiřadí ke každému objektu <math>X \in C</math> objekt <math>F(X) \in D
* 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>F(\mathrm{id}_{X}) = \mathrm{id}_{F(X)}
**<math>F(g \circ f) = F(g) \circ F(f)</math> pro všechny morfizmy <math>f:X \rightarrow Y
== Kovariantní a kontravariantní funktor ==
|