Тестируем искусственного идиота на гипотезе гомотопий (эквивалентность Гротендика между ∞-группоидами и топологическими пространствами).

Π_∞ ⊣ |−| : ∞Grpd ≅ Top
|−| ⊣ Π_∞ : Top ≃ ∞Grpd
Π_∞ ⊣ |−| : ∞Cat ≃ Top
Π_∞ ⊣ |−| : ∞Grpd ≃ Top
Π_1 ⊣ |−| : ∞Grpd ≃ Top
Π_∞ ⊣ |−| : ∞Grpd ≃ sSet

?

Π_∞ ⊣ |−| : ∞Grpd ≃ Top

жпт5.5 и клод4.6 заразы сразу решили :)
а дипсик думал 10 минут и не справился даже после подсказок

и этот ваш распиаренный фабл5 затупил ахаха развод гоев на токены.
перепутал порядок сопряжения: Π_∞ это левое сопряжённое