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

  1. ^ konečně generovaný objekt v nLab.