Post #285

Товарищ написал длиннопост по современной теории категорий и гомотопической теории типов. Очень интересно, всем рекомендую. В среду он же ведет курс по этим топикам в НМУ, на его канале есть вся инфа об этом и продолжение поста.