Volný objekt: Porovnání verzí
Smazaný obsah Přidaný obsah
první verze |
m +odkazy |
||
Řádek 2:
je objekt ''A'' generovaný množinou ''X'' takový, že pro každý objekt <math>B \in C</math> a [[morfismus]] <math>f: X \rightarrow F(B)</math> existuje unikátní [[morfismus]] <math>g: A \rightarrow B</math> takový, že <math>F(g) \circ \iota = f</math>, kde <math>\iota: X \rightarrow F(A)</math> je [[kanonické vložení]].
[[Funktor]] [[adjungovaný funktor|adjungovaný]] k ''F'', nazývaný [[volný funktor]], generuje objekty z množin. Například může generovat z množiny volnou [[grupa|grupu]].
[[Kategorie:Teorie kategorií]]
| |||