Лекция 1 | Синтетическая топология | Георгий Каданцев

15.08.2023 Обзорная-вводная лекция: в общих чертах описали, что такое бесточечная топология, синтетическая топология, абстрактная двойственность Стоуна, и взялись за теорию локалей и доказательство (обычной) двойственности Стоуна. -- Решетки, дистрибутивные решетки, -- Булевые алгебры, булевые кольца -- Алгебры Гейтинга -- Идеалы и фильтры -- Простые идеалы и фильтры -- Лемма о существовании максимального идеала, не пересекающегося с данным фильтром