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

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