🔤Утренняя порция красоты. Так по мнению сетей выглядит гомотопическая алгебра. Для тех кто не в курсе вот выдержка из вики:
🔤Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, высших категориях[en] и типах в логике и языках программирования.
#math #solver #mathematics #olympiad #univer #painting
💥Подписывайтесь на наш канал - поддержите нас, ставьте лайки!
🔥Если вы хотите нас поддержать можно сделать вклад в развитие нашей математической лаборатории: https://boosty.to/viyshmat
👉Мы на Profi.ru: https://profi.ru/profile/MironovVO8/
👉Мы на Repetitor.ru: https://v3.repetitors.info/repetitor/p/MironovVO8/
👉Мы на HabrFreelance: https://freelance.habr.com/freelancers/MLab
👉Мы на YouDo: https://youdo.com/u9455664
👉Наш канал по Кодингу: https://dzen.ru/denoiselab