SK
fundamental theorem of galois theory states that there is an equivalence of ∞-groupoids between the ∞-groupoid of ∞-groupoids over (an ∞-groupoid) X and the ∞-groupoid of maps from X to the ∞-groupoid of ∞-groupoids, what's the problem?
Size: a a a
2020 July 02
Oℕ
fundamental theorem of galois theory states that there is an equivalence of ∞-groupoids between the ∞-groupoid of ∞-groupoids over (an ∞-groupoid) X and the ∞-groupoid of maps from X to the ∞-groupoid of ∞-groupoids, what's the problem?
ето шутка про кофибрейшоны?
ᛒ
чот спивак совсем дичь начал нести
Эх, когданить и ты будешь
Oℕ
Эх, когданить и ты будешь
что буду
ᛒ
что буду
Дичь нести в твиторе
SK
ето шутка про кофибрейшоны?
про фибрейшоны, скорее, они там где-то должны быть
Oℕ
Дичь нести в твиторе
почему так считаешь
ᛒ
Эх вот бы термы сравнивать в скале
SK
ето шутка про кофибрейшоны?
это я час назад назад увидел твит и до сих пор не могу понять,
SK
ᛒ
почему так считаешь
Постареешь и утонешь в своем абстрактном мире и станешь далек от того к чему близок сейчас
Oℕ
похоже на какую-то странную лемму йонеды
SK
Спивак, по-моему, или ровесник, или моложе
ᛒ
Спивак, по-моему, или ровесник, или моложе
Но на джипоинте не выступает
SK
платформу не дают?
AT
Но не в одном конкретном случае, а универсально
Спросить хотел
AT
А чо вы для ио юзаете