Size: a a a

2020 December 04

AG

Alex Gryzlov in haskell_blah
в ванильном хотте их нет
источник

AG

Alex Gryzlov in haskell_blah
точнее его можно определить уже внутри самой теории
источник

AG

Alex Gryzlov in haskell_blah
но волшебного статуса у него нет
источник

DB

Danil Berestov in haskell_blah
а точно не нужно сначала вкатиться в Теворею Группп?
источник

к

кана in haskell_blah
ну под интервалом [0..1] я имел виду топологический интервал для гомотопий
источник

AG

Alex Gryzlov in haskell_blah
Danil Berestov
а точно не нужно сначала вкатиться в Теворею Группп?
неплохо бы, потому что именно в группах появляется мотивация городить все эти факторы и изоморфизмы
источник

к

кана in haskell_blah
правда там тоже не [0..1]
источник

к

кана in haskell_blah
а сфера н-мерная для н-ой готопии
источник

к

кана in haskell_blah
почти как в аренде
источник

к

кана in haskell_blah
а хм
источник

к

кана in haskell_blah
я понял тогда почему в аренде так
источник

AG

Alex Gryzlov in haskell_blah
как?
источник

R

Roman in haskell_blah
да кубы надо просто изучать в отрыве от хотта. "Как сделать систему, в которая funext доказуема?" — "А вот так, например"
источник

AG

Alex Gryzlov in haskell_blah
для фунэкста не надо городить хомотопии
источник

AG

Alex Gryzlov in haskell_blah
достаточно ott/sett
источник

R

Roman in haskell_blah
и не надо морочиться с этой всей унивалентностью
источник

VD

Velvet Darkness in haskell_blah
Я вот иногда читаю этот чат и наверное чувствую себя как мои коллеги в чате, когда я им про хасскел рассказываю
источник

R

Roman in haskell_blah
Alex Gryzlov
достаточно ott/sett
поэтому там "например"
источник

VD

Velvet Darkness in haskell_blah
Чому до этого никто матаны в языки не пытался тащить?
источник

AG

Alex Gryzlov in haskell_blah
до какого этого?
источник