Математическая энциклопедия - образующий объект
Связанные словари
Образующий объект
категории, образующий категории,понятие, позволяющее распознать различные морфизмы категории и, как правило, "моделировать" все объекты категории с помощью копроизведений одного и того же объекта. Объект Uкатегории паз. образуют, и м, если для любого объекта Аиз , не являющегося левым нулем, множество непусто и для любого необратимого мономорфизма существует такой морфизм , к-рый не представим в виде . Если в категории каждая пара морфизмов обладает ядром, то для любой пары морфизмов найдется такой морфизм . Следовательно, если множество непусто для любого то О. о. U. оказывается интегральным объектом. Поэтому иногда О. о. определяется как интегральный объект. В случае абелевых категорий понятия образующего и интегрального объектов эквивалентны.
В категории множеств каждое непустое множество есть О. о. В категориях, порождаемых многообразиями универсальных алгебр, каждая свободная алгебра есть О. о. В категории топологич. пространств каждое непустое пространство с дискретной топологией является О. о.
В бикатегориях обычно рассматриваются допустимые О. о., т. е. такие объекты, к-рые обладают всеми свойствами образующих только по отношению к допустимым мономорфизмам.
М. Ш. Цаленко.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 550 | |
2 | 477 | |
3 | 472 | |
4 | 466 | |
5 | 449 | |
6 | 433 | |
7 | 431 | |
8 | 427 | |
9 | 418 | |
10 | 418 | |
11 | 416 | |
12 | 407 | |
13 | 399 | |
14 | 372 | |
15 | 369 | |
16 | 365 | |
17 | 360 | |
18 | 358 | |
19 | 358 | |
20 | 356 |