Abstract:
For a strongly connected category $\mathscr{C}$ with pairwise coproducts, we introduce a cosimplicial object, which serves as a sort of resolution for computing higher derived functors of $\lim \colon \mathrm{Ab}^{\mathscr{C}}\to \mathrm{Ab}$. Applications involve the Künneth theorem for higher limits and $\lim$-finiteness of $\mathbf{fr}$-codes. A dictionary for the $\mathbf{fr}$-codes with words of length $\leq 3$ is given.
Bibliography: 19 titles.