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