к
ну тут слабое отношение к кубикам и хотту, просто общая база
Size: a a a
2020 December 04
DB
ну тут слабое отношение к кубикам и хотту, просто общая база
Ну если это база, то уж неслабое тогда)
DB
Кстати тут есть,к то понимает всё, что он говорит?
DB
с 1:16 наапример
к
я нихуя не понимаю, кроме первых минут про представление групп
RR
Кстати тут есть,к то понимает всё, что он говорит?
Нет
RR
Я не понимаю даже что я говорю
DB
норм
к
но если я осилю полупрямое произведение, то продвинусь на пару секунд вперед
к
а ну не из трейлера
к
а из первой лекции
VD
Я все мемасы узнал. И даже бурлящую сущность немного.
DB
а из первой лекции
то есть ты пытался смотреть?
AG
Кстати тут есть,к то понимает всё, что он говорит?
гомологии и гомотопии только звучат похоже, а вообще это довольно разные теории
DB
гомологии и гомотопии только звучат похоже, а вообще это довольно разные теории
и то и другое слово ест ьв его лекциях(
R
кубы это хотт который можно в компайлтайме вычислять
это тот смысл, который обычно вкладывают в термин "кубы", но кубическая система типов может и не содержать унивалентности и даже HIT. Просто тип интервала и связанные с ним операции и константы, а также Path и связанные с ним операции. И получается маленькая красивенькая система типов
AG
звучит как XTT
к
то есть ты пытался смотреть?
да, много раз
к
я в целом пытался читать много книг по алгебраической топологии чтобы понимать его лекции
к
но чет не выходило