В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Существенно дополняет вышедшую в 1983 г. в издательстве "Мир" книгу Р. Голдблатта "Топосы. Категорный анализ логики".
Для математиков разных специальностей, аспирантов и студентов университетов.
Оглавление:
Предварительные сведения.
Элементарные топосы.
Внутренняя теория категорий.
Топологии и пучки.
Геометрические морфизмы.
Логические аспекты теории топосов.
Объекты натуральных чисел.
Теоремы Делиня и Барра.
Когомологии.
Теория топосов и теория множеств.