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