Реклама на проекте
\\ Математика - все новости
Пусть A -- абелева категория с произвольными прямыми суммами и κ -- регулярный кардинал. Объект B из A называется слабо κ-порожденным, если всякий морфизм из B в прямую сумму семейства объектов в A факторизуется через вложение прямой суммы подсемейства мощности, меньшей κ. Всякий факторобъект слабо κ-порожденного объекта слабо κ-порожден.Категория A называется локально слабо κ-порожденной, если она имеет множество...