Что такое гомотопическая теория типов? — @ClocksSugars | SF Lean Meetup

@ClocksSugars представит доклад «Что такое гомотопическая теория типов?» на встрече SF Lean Meetup 7 сентября 2026 года https://sflean.group/ Докладчик: https://x.com/ClocksSugars Разделы: 0:00 Введение - Почему гомотопическая теория типов? 3:05 План 4:34 Топология и открытые множества 13:04 Метрические пространства 22:04 Пределы и непрерывность 36:34 Построение топологий 47:04 Гомотопия между отображениями 58:04 Отверстия, деформация и тор 1:09:05 Теория типов в Agda 1:12:04 Равенство и рефлексивность 1:23:04 Круги, эквивалентность и унивалентность 1:34:05 Заключение