Образующий Объект
категории, образующий категории,- понятие, позволяющее распознать различные морфизмы категории и, как правило, "моделировать" все объекты категории с помощью копроизведений одного и того же объекта. Объект Uкатегории паз. Образуют, и м, если для любого объекта Аиз , не являющегося левым нулем, множество непусто и для любого необратимого мономорфизма существует такой морфизм , к-рый не представим в виде . Если в категории каждая пара морфизмов обладает ядром, то для любой пары морфизмов найдется такой морфизм . Следовательно, если множество непусто для любого то О. О. U. Оказывается интегральным объектом. Поэтому иногда О. О. Определяется как интегральный объект. В случае абелевых категорий понятия образующего и интегрального объектов эквивалентны.
В категории множеств каждое непустое множество есть О. О. В категориях, порождаемых многообразиями универсальных алгебр, каждая свободная алгебра есть О. О. В категории топологич. Пространств каждое непустое пространство с дискретной топологией является О. О. В бикатегориях обычно рассматриваются допустимые О. О., т. Е. Такие объекты, к-рые обладают всеми свойствами образующих только по отношению к допустимым мономорфизмам. М. Ш. Цаленко..
Дополнительный поиск Образующий Объект
На нашем сайте Вы найдете значение "Образующий Объект" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Образующий Объект, различные варианты толкований, скрытый смысл.
Первая буква "О". Общая длина 17 символа