There should be some mention of the derived functor, . Likewise for the direct limit, if somebody happens to know how that works.