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

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