stringtranslate.com

Генератор (теория категорий)

В математике , в частности в теории категорий , семейство генераторов (или семейство сепараторов ) категории — это совокупность объектов в , такая, что для любых двух различных морфизмов в , то есть с , существует некоторый в и некоторый морфизм такой, что Если совокупность состоит из одного объекта , мы говорим, что это генератор (или сепаратор ).

Генераторы играют центральную роль в определении категорий Гротендика .

Двойственная концепция называется когенератором или косепаратором .

Примеры

Ссылки

Внешние ссылки