Гомотопии в многомерных (недетерминированных) системах переписывания как n-кратные категории=news.ycombinator.com= Гомотопии в многоканальных (недетерминированных) системах переписывания как n-кратные категории ( arxiv.org ) Рассмотрите возможность подачи заявки на набор в YC на осень 2025 года! Заявки принимаются до 4 августа Source: news.ycombinator.com
