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