|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Цаленко М.Ш., Шульгейфер Е.Г. — Основы теории категорий |
|
|
|
| Предметный указатель |
n-й коммутант объекта 223
Аннулятор класса морфизмов 77
Антиизоморфизм категорий 131
Бикатегория 48
Бикатегория локально малая 57
Бикатегория локально малая слева 57
Бикатегория локально малая справа 57
Бикатегория обобщенно локально малая 57
Бикатегория обобщенно локально малая слева 57
Бикатегория обобщенно локально малая справа 57
Бикатегория с нормальными кообразами 78
Бикатегория с нормальными образами 78
Бикатегория с регулярными кообразами 57
Бикатегория с регулярными образами 57
Бикатегория со строгими кообразами 57
Бикатегория со строгими образами 57
Биморфизм 29
Взаимный коммутант подобъектов 227
Вложения копроизведения 65
Вложения произведения 106
График морфизма 22 64
Группоид 30
Делитель коконуса левый 22
Делитель коконуса правый 22
Делитель конуса левый 22
Делитель конуса правый 22
Диагонализируемая пара морфизмов 37
Диагональ n-й степени объекта 113
Диаграмма 21
Диаграмма коммутативная 21
Диаграмма точная 46
Диаграмма точная слева 208
Диаграмма точная справа 208
Единица сопряжения 178
Естественное преобразование 142
Естественное преобразование двойственное 144
Естественное преобразование накрывающее 162
Естественное преобразование нулевое 143
Естественное преобразование определяющее 195
Естественное преобразование тождественное 143
Естественные преобразования сопряженные 187
Идеал и коидеал сопряженные 80
Идеал категории двусторонний 40
Идеал категории левый 40
Идеал категории левый главный 40
Идеал категории правый 40
Идеал категории правый главный 40
Идеал объекта 79
Идеал, порожденный подобъектом 86
Изоморфизм 30
Изоморфизм естественный 142
Изоморфизм категорий 131
Изоморфные нормальные ряды 104
Категория 14
Категория абелева 126
Категория аддитивная 121
Категория биполная 157
Категория двойственная 19
Категория диаграмм 160
Категория дискретная 15
Категория конкретная 228
Категория локально малая 26
Категория локально малая слева 24
Категория локально малая слева относительно функтора 192
Категория локально малая справа 26
Категория малая 15
Категория морфизмов 249
Категория неполная 157
Категория нормальная 91
Категория обобщенно локально малая 26
Категория обобщенно локально малая слева 24
Категория обобщенно локально малая справа 26
Категория ограниченная 233
Категория полная 154
Категория пустая 16
Категория с (конечными) копроизведениями 66
Категория с (конечными) произведениями 64
Категория с нулевыми морфизмами 75
Категория связанная 15
Категория структуризованных множеств 16
Категория точная 247
Категория функторов 160
Квадрат коуниверсальный 34
Квадрат универсальный 34
Класс 9
Класс дедекиндов 101
Класс предупорядоченный 10
Класс частично упорядоченный 10
Класс частично упорядоченный, замкнутый относительно объединений 10
Класс частично упорядоченный, замкнутый относительно объединений пересечений 10
Коаннулятор класса морфизмов 77
Коединица сопряжения 178
Коидеал объекта 79
Коконус 22
Коконус образующий 56
Коконус плотный 25
Коконус, допустимый относительно функтора 157
Коконус, коуниверсальный относительно конуса 34
Коммутант объекта 222
Компонента естественного преобразования 142
Конец морфизма 14
Конус 22
Конус кообразующий 55
Конус разделяющий 22
Конус универсальный относительно коконуса 33
Конус, допустимый относительно коконуса 32
Конус, допустимый относительно функтора 152
Кообраз морфизма допустимый 57
Копредел функтора 157
Копредмногообразие 200
Копредмногообразие допустимое 200
Копроизведение 65
Коретракт 32
Корефлектор объекта относительно подкатегории 195
Корефлектор подкатегории 195
Косопряжение 178
Коуравнитель семейства морфизмов 37
Коядерная пара морфизмов 36
Коядро морфизма 79
Коядро семейства морфизмов 37
Лемма Цассенхауза 102
Многообразие 209
Многообразие абелево 222
Многообразие универсальных алгебр 13
Мономорфизм 26
Мономорфизм допустимый 49
Мономорфизм достижимый 87
Мономорфизм нормальный 77
Мономорфизм регулярный 41
Мономорфизм строгий 39
Мономорфизм структурный относительно функтора 190
Морфизм 14
Морфизм аннулирующий 77
Морфизм диаграмм 160
Морфизм достижимый 90
Морфизм единичный (= тождественный) 14
Морфизм канонический 109
Морфизм коаннулирующий 77
Морфизм нормальный 90
Морфизм нулевой 75
Морфизм обратимый слева 30
Морфизм обратимый справа 30
Морфизм определяющий 179
Начало морфизма 14
Нормальная пара подобъектов 100
Нормальная пара подобъектов простая 130
Нормальная пара факторобъектов 100
Нормальные пары подобъектов с изоморфными факторами 102
Нормальные пары факторобъектов с изоморфными ядрами 102
Нормальный ряд подобъектов 103
| Нуль 80
Нуль левый 80
Нуль правый 80
Образ морфизма допустимый 57
Объект 14
Объект абелев 123
Объект аддитивный 119
Объект допустимый проективный 200
Объект интегральный 133
Объект инъективный относительно класса мономорфизмов 200
Объект коинтегральный 133
Объект конечный 80
Объект малый 234
Объект начальный 80
Объект несвободный относительно функтора 181
Объект нулевой 80
Объект образующий 234
Объект проективный 200
Объект проективный относительно класса эпиморфизмов 200
Объект разрешимый 223
Объект свободный категории структуризованных множеств 27
Объект свободный относительно функтора 179
Объект унарный 249
Объекты связанные 15
Ограничение функтора на подкатегории 132
Отношение 10 240
Отношение рефлексивное 240
Отношение симметричное 240
Отношение транзитивное 240
Отношение эквивалентности 10 240
Отношение эквивалентности предмногообразия 207
Отображение 11
Отображение биективное 11
Отображение изотонное 11
Отображение инъективное 11
Отображение сюръективное 11
Пара естественных преобразований, сопутствующая сопряжению 178
Подкатегория 15
Подкатегория дискретная, порожденная классом объектов 19
Подкатегория корефлективная 195
Подкатегория полная 15
Подкатегория полная, порожденная классом объектов 19
Подкатегория рефлективная 195
Подобъект достижимый 87
Подобъект инвариантный 211
Подобъект несобственный 24
Подобъект нормальный 78
Подобъект нулевой 82
Подобъект объекта 24
Подобъект регулярный 42
Подобъект семейства объектов 24
Подобъект семейства объектов допустимый 55
Подобъект семейства объектов нулевой 82
Подобъект строгий 40
Подобъект структурный относительно функтора 191
Подфунктор 168
Подфунктор допустимый 168
Подфунктор нормальный 168
Подфунктор регулярный 168
Подфунктор строгий 168
Последовательность 0-точная 80
Предел функтора 152
Предмногообразие 200
Предмногообразие допустимое 200
Предмногообразие точное 208
Предмногообразие тривиальное 233
Представитель подобъекта 24
Представитель факторобъекта 25
Принцип двойственности 20
Продолжение конуса 22
Продолжение произведения 64
Проекции копроизведения 108
Проекции произведения 59
Произведение 59
Произведение категорий 139
Произведение полных подкатегорий 218
Произведение предмногообразий 217
Разложение морфизма допустимое 49
Разложение морфизма достижимое 90
Разложение морфизма нормальное 90
Ретракт 32
Рефлектор объекта относительно подкатегории 195
Рефлектор подкатегории 195
Рефлектор продолженный 195
Ряд главный 105
Ряд инвариантный 104
Ряд композиционный 104
Ряд нормальный 103
Ряд разрешимый 223
Скелет категории 148
Сопряжение 178
Сумма прямая 109
Сумма семейства морфизмов 114
Суммируемость семейства морфизмов 114
Схема 160
Универсальная алгебра 11
Уплотнение нормального ряда 104
Уравнитель семейства морфизмов 36
Фактор нормальной пары подобъектов 100
Факторобъект достижимый 87
Факторобъект инвариантный 211
Факторобъект несобственный 26
Факторобъект нормальный 78
Факторобъект нулевой 82
Факторобъект объекта 26
Факторобъект регулярный 45
Факторобъект семейства объектов 25
Факторобъект семейства объектов допустимый 56
Факторобъект семейства объектов нулевой 82
Факторобъект строгий 40
Факторфунктор 168
Факторфунктор допустимый 168
Факторфунктор нормальный 168
Факторфунктор регулярный 168
Факторфунктор строгий 168
Факторы нормального ряда 104
Функтор n-местный 138
Функтор аддитивный 173
Функтор вложения 152
Функтор двойственный 138
Функтор накрывающий 162
Функтор одноместный ковариантный 131
Функтор одноместный контравариантный 131
Функтор основной двуместный 140
Функтор основной одноместный ковариантный 133
Функтор основной одноместный контравариантный 134
Функтор полный 131
Функтор постоянный 136
Функтор представимый 143
Функтор пренебрегающий 180
Функтор тождественный 132
Функтор точный справа 208
Функтор унивалентный 132
Функтор унивалентный на объекте слева 132
Функтор унивалентный на объекте справа 132
Функтор, перестановочный с копределами 157
Функтор, перестановочный с пределами 155
Функтор, сопряженный к функтору слева 178
Функтор, сопряженный к функтору справа 178
Функторы сопряженные 178
Цепь коммутантов объекта 223
Эквивалентные категории 146
Эквивалентные классы пар морфизмов 205
Эквивалентные коконусы 25
Эквивалентные конусы 23
Эпиморфизм 28
Эпиморфизм допустимый 49
Эпиморфизм достижимый 87
Эпиморфизм нормальный 78
Эпиморфизм регулярный 45
|
|
|
| Реклама |
|
|
|
|
|
О проекте