Konečně vygenerovaný objekt - Finitely generated object
v teorie kategorií, a konečně generovaný objekt je kvocient a volný objekt přes konečná množina, v tom smyslu, že je terčem a pravidelný epimorfismus z volného objektu, který je volný na konečné sadě.[1]
Například jeden způsob definování a konečně generovaná skupina je to, že je to obraz a skupinový homomorfismus z konečně vygenerovaného volná skupina.
Viz také
Reference
![]() | Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |