June 24, 05:09

Новая статья сотрудников САП об fr-языке. Показано, что любое fr-предложение имеет лишь конечное чисто нетрив режимов чтения, составлен словарь всех предложений со словами длины не больше 3, построен стандартный косимплициальный комплекс, позволяющий описывать лимчики. arxiv.org/abs/1906.08793

Limits, standard complexes and fr-codes

For a strongly connected category $\mathcal C$ with pair-wise coproducts, we introduce a cosimplicial object, which serves as a sort of resolution for computing higher derived functors of ${\sf...