Джонстон П.Т. — Теория топосов :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Джонстон П.Т. — Теория топосов

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Теория топосов

Автор: Джонстон П.Т.

Аннотация:

В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Существенно дополняет вышедшую в 1983 г. в издательстве «Мир» книгу Р. Голдблатта «Топосы. Категорный анализ логики».
Для математиков разных специальностей, аспирантов и студентов университетов.

Язык:

Рубрика: Математика/Алгебра/Теория категорий/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1986

Количество страниц: 440

Добавлена в каталог: 23.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$\mathbb T$ -модель общая      223 265
$\mathscr E$ -категория      355
$\mathscr E$ -топос      132
$\mathscr E^G$ -торсор      303
G-множество      46
G-множество непрерывное      282
G-торсор      136
Аксиома выбора      160
Аксиома выбора неявная      163
Алгебра булева      157
Алгебра гейтингова      157
Алгебра псевдобулева      157
Арифметические операции      185
Артин      10 131
Атом      278
Бандж      275 351
Барр      11 14 38 62 209 274 277
Бек      23 53 126
Бенабу      12—14 78 79 83 128 173 176 193 222 355 364
Бернайс      18
Борсё      165
Брук      325
Буало      340
Бурн      17
Бэр      281
ван Осдол      12
Вейль      9
Вердье      10
Включение (морфизм в топосе)      123
Включение транзитивных объектов      329
Внешность топологии      122
Внутренне полная подкатегория      78 360
Внутренне полное, частично упорядоченное множество      167
Внутренне проективный объект      163
Внутренность топологии      122
Волгер      11 325
Габриель      26
Генкин      14 262
Геометрический морфизм      47
Геометрический морфизм включения      123
Геометрический морфизм ограниченный      141
Геометрический морфизм существенный      47
Геометрический морфизм сюръекции      123
Гёдель      14 18 262
Гильберт      316
Гленн      302
Глобальный носитель      163
Годеман      9 284 286
Грей      68
Грийе      12
Гротендик      9 10 32 35 68 94 103 254 259 280 282 306 309 356
Группа абелева слабая      284
Группа вершин      300
Группа когомологий      281
Группа когомологий с поносителем      314
Группа когомологий Чеха      288 289
Группа проконечная      304
Даскин      300 302
Дей      74
Делинь      10 14 232 260 262
Джонстон      13 41 106 208
Диаграмма внутренняя      69
Диаграмма постоянная      72
Диаграмма представимая      71
Диаграмма слабая      127
Диаконеску      13 132 133 140 143 161 261 314
Дизъюнктивное копроизведение      36
Доказуемо эквивалентные формулы      263
Дополнение      158
Допустимый класс      224
Жиро      10 13 35 37 140 143 299
Жуаяль      13 14 117 118 177 179 220 222 230 265
Замыкание      96
Зарисский      9
Интервал в топосе      137
Интернализация      79
Интерпретация языка      173 219
Ионеда      21 300
Исбел      183
Исчисление частных      26
Йонссон      241
Кан      76
Канторов дисконтинуум      276
Капланский      239
Кардинал финитный      193
Картан      9 291
Категория атомная      277
Категория внутренне полная      73
Категория внутренняя      67
Категория Галуа      306
Категория Гротендика      94
Категория декартово замкнутая      44
Категория замкнутая относительно оболочки      74
Категория локально внутренняя      356
Категория локально замкнутая      74
Категория малая      21
Категория обогащенная      356
Категория синтаксическая      263
Категория слабо фильтрованная      86
Категория уравновешенная      48
Категория фильтрованная      86
Келли      10 61
Кеннисон      228
Классификатор морфизмов      203
Классификатор объектов      137 201
Классификатор подобъектов      44
Кок      12 16 64 179 317 319 343
Конвей      17 233
Кондюше      77
Конечность по Куратовскому      317
Контиуум-гипотеза      345
Корасслоение дискретное      69
Корасслоение расщепимое      94
Кост      340
Коул      13 225 325 338
Коэп      345 350
Крипке      177 179
Кручение над $\mathscr E$       363
Куратовский      98 317
Ламбек      113
Лекутюрье      317 319
Лере      9
Лесафр      212
Лёвенгейм      247
Линденбаум      54
Линтон      24
Ловер      10—13 16 44 45 49 56 74 96 103 112 120 124 159 185 211 324 342 344
Локально постоянный объект      153 305
Локально пространственный топос      275
Локально расщепимый эпиморфизм      163
Локальное кольцо      217
Любкин      10
Маккаи      14 262
Маклейн      14 21 282 300
Миккелсен      12 52 54 168 209 317 319 322 326 343
Митчелл, Б.      10
Митчелл, У.      13 141 143 171 172 325 338
Модель теории      211 220
Модель теории булевозначная      344
Модель теории двузначная      344
Морфизм биплотный      110
Морфизм геометрический      47
Морфизм локальный      218
Морфизм центральный      301
Морфизм этальный      42
Мостовский      325 335
Мулви      239
Мур      23
Образ геометрического морфизма      124
Образ обратный      47

Образ прямой      47
Объект ациклический      282
Объект вещественных чисел по Дедекинду      231
Объект вещественных чисел по Коши      237
Объект внутренний строгий      63
Объект вполне упорядоченный      179
Объект изоморфизмов      177
Объект когерентный      252
Объект компактный      252
Объект локально постоянный      153 305
Объект натуральных чисел      185
Объект нормальный      308
Объект образующих      141
Объект общий      137 201
Объект объектов      67
Объект отделимый      100
Объект открытый      113
Объект разрешимый      182
Объект симплициальный      68
Объект слабый      284
Объект стабильный      252
Объект существенный      274
Объект транзитивный      326
Объект частично транзитивный      333
Объект эпиморфизмов      177
Объект-степень      64
Озиус      13 173 176 177 325 333 338
Отношение эквивалентности      36
Отношение эквивалентности индуктивное      326
Отношение эквивалентности экстенсиональное      326
Отношение эквивалентности эффективное      36
Отображение классифицирующее      44
Отображение синглетонное      49
Отображение частичное      48
Паре      52 54 217 355 361 366
Пенон      17 74 78 355 356
Подобъект замкнутый      97
Подобъект общий      44
Подобъект плотный      97
Покрывающее решето      33
Покрывающее семейство      32
Поле вычетов      235
Поле геометрическое      235
Поле частных      235
Почти мономорфизм      110
Почти эпиморфизм      110
Предпучок      21 29
Предпучок внутренний      69
Предпучок отделимый      30 34
Предпучок плоский      132
Предпучок постоянный      29
Предпучок представимый      21
Предтопология      32
Предтопология Гротендика      32
Предтопос      258
Преобразование естественное внутреннее      64
Преобразование естественное геометрических морфизмов      47
Проконечное пополнение      305
Пространство нульмерное      182
Пространство секвенциальное      41
Пространство сепарабельное      182
Пространство Серпинского      39
Пространство совершенно несвязное      182
Пространство спектральное      267
Пространство стоуновское      304
Пространство трезвое      249
Профунктор внутренний      79
Профунктор Йонеды      81
Профунктор плоский слева      139
Псевдоточка      247
Пучок      29 33 100
Пучок G-эквивалентный      40
Пучок ассоциированный      31 109
Пучок постоянный      40
Пучок сечений      31
Ранг функтора      155
Расслоение дискретное      70
Расширение Кана      72
Рейес      13 220 262 265
Рейт      12 14 127 129 131 192 201 208 211 215 216 241 303
Ретрей      113
Рефлексивная пара      23
Решетка      156
Решетка брауэрова      157
Решетка дистрибутивная      156
Решетка стоунова      182
Решето      33
Решето эпиморфное      40
Рид      18
Робинсон      343
Роос      274
Роу      106
Сайт      33
Сван      239
Селерет      12 355 365
Семантика Кринке — Жуаяля      177
Серр      9
Сигнатура      173
Склейка      129
Скотт      233
Скулем      247
Слабая абелева группа      284
Слабый копредел      128
Слой      30
Спектр      224
Спектральная последовательность Лере      283
Стаут      239
Стрит      17 228
Сюръекция      123
Тарский      54 180 241 334
Теория алгебраическая      211 215
Теория алгебраическая внутренняя      215
Теория геометрическая      220
Теория множеств Церемело      334
Тиле      335
Топология Гротендика      32
Топология замкнутая      114
Топология каноническая      35
Топология квазизамкнутая      272
Топология максимальная      34
Топология минимальная      34
Топология открытая      113
Топология предканоническая      258
Топология субканоническая      35
Топос      44
Топос $\mathbb T$ -модельный      224
Топос булев      158
Топос вырожденный      127
Топос Гротендика      35
Топос двузначный      335
Топос классифицирующий      136 222
Топос когерентный      254
Топос локально связный      154
Топос нётеров      277
Топос пространственный      252
Топос связный      154
Топос Серпинского      137
Топос точечный      336
Топос элементарный      44
Топос этальный      43
Топос, определенный над $\mathscr E$       132
Торсор      136 301
Точка в топосе      243
Точка общая      249
Трансверсаль      312
Тьерне      12 14 44 45 49 56 61 74 96 112 116 124 159 222 342 344 345 350
Уайлер      17
Ультрастепень      342
Ультрафильтр      341
Универсальная операция замыкания      96

1 2

О проекте