Конечно-генерируемый объект
Эта статья в значительной степени или полностью основана на одном источнике . ( февраль 2024 г. ) |
В теории категорий конечно порождённый объект является фактором свободного объекта по конечному множеству , в том смысле, что он является целью регулярного эпиморфизма из свободного объекта, который свободен на конечном множестве. [1]
Например, один из способов определения конечно порожденной группы состоит в том, что она является образом группового гомоморфизма из конечно порожденной свободной группы .
Смотрите также
Ссылки
- ^ Конечно сгенерированный объект в n Lab .
 | Эта статья по теории категорий — заглушка . Вы можете помочь Википедии, расширив ее. |
