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

Перев. с англ. В.Н. Гришина, В.В. Шокурова. — Под ред. Д.А. Бочвара. — М.: Мир, 1983. — 487 с.Топосы — это специального вида категории, способные служить моделями для теоретико-множественных конструкций. Они являются математическим средством унификации и обобщения математических задач и методов их решения. Их можно рассматривать как главный объект новой концепции оснований математики.
Для математиков разных специальностей, аспирантов и студентов университетов.Предисловие редактора перевода.
Предисловие.
Введение.
Математика = теория множеств?
Что такое категории.
Стрелки вместо отношения принадлежности.
Что такое топосы.
Строение топоса: первые шаги.
Логика в классическом представлении.
Алгебра подобъектов.
Интуиционизм и его логика.
Функторы.
Теоретико-множественные концепты и общезначимость.
Элементарная истинность.
Категорная теория множеств.
Арифметика.
Локальная истинность.
Сопряженность и кванторы.
Литература.