Ха, топос. Обобщение теории множеств на интуиционистскую логику, любую.
А где в топосе ограничение по множеству?
Не уверен, что понял вопрос, но множества отличаются булевостью (двузначной) и well-pointedness.
Да вообще не обязательно
Обсуждают сегодня