Приветствую Вас, уважаемые Читатели! Прошлая статья про основания теории категорий получила неожиданно замечательный отклик, а ведь там я рассказывал о чрезвычайно абстрактных вещах. Ну что же, раз абстракция в моде, сегодня я расскажу о её короле - филдсовском лауреате французском математике (лишь по рождению) Александре Гротендике. В этом удивительном человеке сочетались гениальность, всепоглощающая любовь к математике, которая, впрочем, не повлияла на его решение бросить ей заниматься, а также крайне наивные политические взгляды и необычайная закрытость...

🔤Утренняя порция красоты. Так по мнению сетей выглядит гомотопическая алгебра. Для тех кто не в курсе вот выдержка из вики: 🔤Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, высших категориях[en] и типах в логике и языках программирования. #math #solver #mathematics...