Голдблатт Р. — Топосы. Категорный анализ логики. :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Голдблатт Р. — Топосы. Категорный анализ логики.

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

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

Название: Топосы. Категорный анализ логики.

Автор: Голдблатт Р.

Аннотация:

Топосы - это специального вида категории, способные служить моделями для теоретико-множественных конструкций. Они являются математическим средством унификации и обобщения математических задач и методов их решения. Их можно рассматривать как главный объект новой концепции оснований математики.
Для математиков разных специальностей, аспирантов и студентов университетов.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Принцип двойственности      59
Принцип свертывания      19
Принцип экстенсиональности      20
Принцип экстенсиональности для стрелок      129
Произведение категорий      46
Произведение объектов категории      60
Произведение отображений      60
Произведение стрелок (функторное)      63
Произведение стрелок относительно проекций и       60
Прообраз множества при отображении      77
Пропозициональные аксиомы языка $\mathscr L$       250
Пропозициональные буквы      142
Пропозициональные переменные      142
Простая рекурсия      315
Простой пучок      416
Пространственный топос      110
Пространство расслоения      102
Псевдобулева алгебра      197
Псевдодополнение      192
Псевдодополнение к a относительно b      194
Пунктирная стрелка      64
Пустая функция      55
Пустое множество      19
Пучок над $\Omega$       402
Пучок над I      110 373
Пучок над ситусом      387
Пучок ростков сечений      373
Разрешимое упорядочение      434
Расслоение      102
Расслоенное произведение      77
Расщепление эпистрелки      303
Рационально-числовой объект      424
Рекурсивная стрелка $r: a\to\Omega^a$       334
Рекурсивно определенная функция      315
Рефлексивность      40
Решетка      67
Решетка с о. п. д.      195
Решетка с относительными псевдодополнениями      195
Росток s в точке i      374
Росток в i      102
Росток окрестности U в i      111
Свободное вхождение переменной      247
Свойство косвободы      449
Свойство свободы      449
Свойство универсальности      65 71 449 450
Связанное вхождение переменной      247
Сечение расслоения      107
Сильная стрелка      406
Символ равенства      247
Синглетон      57
Синглетон для $\Omega$ -множества      295 399
Система Цермело — Френкеля      325
Ситуация сопряжения      446
Ситус      386
Скелет категории      215
Скелетальная категория      55
Слабая стрелка      406
Слабо экстенсиональный объект      419
Слой над i      102
Собственное подмножество      20
Собственный класс      22
Совместимые элементы $\Omega$ -множества      401
Сопряжение от $\mathscr C$ к $\mathscr D$       447
Стрелка      35
Стрелка $f: a\to b$ рекурсивно определенная по стрелке $g: \Omega^b\to b$ над $r: a\rightarrowtail\Omega^a$       334
Стрелка значения      84
Стрелка предшествования      353
Схема аксиом выделения      321
Схема аксиом подстановки      325
Схема ограниченного выделения      321
Сюръективная функция      51
Тавтология      142 143
Теорема Диаконеску      309
Теорема Ловера о характеризации пучков      384
Теорема Ловера — Тирни (об ассоциированном пучке)      391
Теорема о классификаторе частичных стрелок      281
Теорема о корректности для $\mathbf B$ -общезначимости      149
Теорема о корректности для $\mathscr E$ -общезначимости      199

Теорема о корректности для $\mathscr E$ -общезначимости (предикатный случай)      262
Теорема о корректности для CL      145
Теорема о полноте для CL      145
Теорема о полноте для общезначимости в топосах      240
Теорема о полноте для общезначимости в топосах (предикатный случай)      277
Теорема о примитивной рекурсии      351
Теорема об общезначимости      237
Теоретико-множественный объект в топосе      338
Терм      247
Тождественная стрелка      37
Тождественная функция      31
Тождественный функтор      209
Топология двойного отрицания      390
Топология на элементарном топосе      388
Топос Гротендика      387
Точечный топос      129
Транзитивное замыкание      326
Транзитивное множество      326
Транзитивность      40
Транзитивный представитель отношения      341
Транзитивный теоретико-множественный объект      334
Универсальная конструкция      70
Универсальная стрелка от a к G      449
Универсальная стрелка от F к b      450
Упорядоченная пара      30 323
Уравнитель в категории      69
Уравнитель пары стрелок      68
Условие склеиваемости сечений (COM)      372 373 387 402
Условие совместимости сечений (COM)      372 373 387 402
Фактормножество      75
Формула      142 247
Формула $\varphi$ истинна на уровне p      270
Формула выполняется в структуре $\mathscr A$ - при оценке x      248
Функтор      208 211
Функтор степени      209
Функтор степени контравариантный      211
Функтор, сопряженный слева к …      447
Функтор, сопряженный справа к …      447
Функциональные буквы      244 247
Функция      29
Функция включения      31
Функция выбора      303
Функция значения      83
Функция из A в B      29
Функция следования      313
Характер подобъекта      94
Характеристическая стрелка подобъекта      94
Характеристическая функция      91
Цепь      84
Ч. у. множество      41
Частичная стрелка      280
Частичная функция      280
Частично транзитивный $\mathscr E$ -объект      342
Частично упорядоченное множество      41
Частичный элемент      280
Эквивалентность категорий      214
Эквивалентные категории      215
Эквивалентные элементы      286
Эквивариантная функция      114
Экспоненциал      84
Экспоненциально присоединенная стрелка      84
Экстенсиональная стрелка $r : a\rightarrowtail\Omega^a$       85
Экстенсиональность подмножества $\Omega$ -множества      292
Экстенсиональный объект      420
Элемент $\mathscr C$ -объекта      90
Элемент множества      18
Элемент подобъекта      181
Элементарный ситус      389
Элементарный топос      97
Элементарный язык      244 247
Эпи-моно-разложение      123
Эпиморфная стрелка      51
Эпистрелка      51
Ядерное отношение функции      78
Ядро функции      78
Язык высшего порядка      244
Язык первого порядка      244 247
Язык-объект      319

1 2

О проекте