WikiDer > Конечно сгенерированный объект

В теория категорий, а конечно порожденный объект является частным от свободный объект через конечный набор, в том смысле, что это цель регулярный эпиморфизм из свободного объекта, свободного на конечном множестве.^[1]

Например, один из способов определения конечно порожденная группа в том, что это изображение групповой гомоморфизм из конечно порожденного свободная группа.

Смотрите также

• Конечно порожденный (значения)

Рекомендации

Этот теория категорий-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е