ЕО
В произвольном элементарном топосе даже NNO нет... Я тут как раз имею в виду, что мы можем взять достаточно хорошие топосы для задачи
Size: a a a
2021 December 13
ЕО
FinSet это топос
V
ну ладно, еще можно, конечно, вспомнить синтаксический топос, но это всё какие-то скучные примеры :)
ЕО
Ну и можно взять категорию всех множеств с достижимыми кардиналами и в ней тоже не будет универсума (кроме NNO)
ЕО
А потом можно от этого очень маленького Set строить очень-маленькие топосы. Тот же очень маленький Eff
ЕО
Кстати зря ты так про синтаксический топос. От него тоже можно строить releasability topos'ы, например
2021 December 14
B
realizability
2021 December 19
B