Лекция 2 | Топосы как математические вселенные | Аршак Айвазьян

05.07.2023 -- Примеры сайтов: сайт локали (повторение), тривиальные сайты (нет покрывающих решет и все решета покрывающие) их топосы (соответственно: все предпучки и тривиальный топос). -- Насыщенные сайтов = сайты Гротендика -- находятся в естественной биекции с подтопосами PSh(C). -- Gros и Petit топосы. Топос гладких множеств. -- Свойства топосов Гротендика: биполнота, декартово-замкнутость, классификатор подобъектов. -- Определение элементарного топоса. Объект натуральных чисел в топосе. -- Epi и mono морфизмы в топосе. Аксиома выбора.