Limits, Standard Complexes And Fr-Codes

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 Kunneth theorem for higher limits and lim-finiteness of fr-codes. A dictionary for the fr-codes with words of length <= 3 is given.