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