Малый Объект
категории - понятие, выделяющее такие объекты категории, к-рым присущи свойства математич. Структур с конечным числом образующих (конечномерных линейных пространств, конечно порожденных групп и т. Д.). Пусть - категория с копроизведениями. Объект наз. Малым, если для любого морфизма где - вложения копроизведения, найдется конечное подмножество индексов 1, 2, ..., пи такой морфизм что выполнено равенство в к-ром морфизм а однозначно определяется равенствами Иногда дается более сильное определение, в к-ром не предполагается, что все множители копроизведения совпадают с U. В многообразиях универсальных алгебр следующие условия равносильны. А) алгебра Аявляется М. О. Категории. Б) алгебра имеет конечное число образующих.
В) основной ковариантный функтор Н A (Х)=Н( А, X).перестановочен с копределами (прямыми пределами) направленных семейств мономорфизмов. Свойство в) часто принимается за определение конечно порожденного объекта произвольной категории. М. Ш. Цаленко. .
Дополнительный поиск Малый Объект
На нашем сайте Вы найдете значение "Малый Объект" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Малый Объект, различные варианты толкований, скрытый смысл.
Первая буква "М". Общая длина 12 символа