🔤Утренняя порция красоты. Так по мнению сетей выглядит гомотопическая алгебра. Для тех кто не в курсе вот выдержка из вики: 🔤Гомотопическая теория типов (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.r
Генерация разделов математики по версии нейросетей. Гомотопическая алгебра
16 января 202316 янв 2023
15
~1 мин