2
$\begingroup$

Taking direct limits is an exact functor in the category of modules. It has been discussed extensively here.

What I ask is: I know that taking direct limits is not an exact functor in other categories. Our professor mentioned it when discussing Cech cohomology of sheaves, describing the n-th Cech cohomology group as a direct limit. (I can provide details if it's necessary)

Can you please help me find an example in some category where taking direct limits is not an exact functor? Categories of groups or topological spaces maybe?

Thank you.

  • 0
    Neither the category of groups nor the category of topological spaces is additive. How would you even define exactness for the direct limit functor for these categories?2012-03-23
  • 2
    @Rasmus: a general definition is that a functor between two categories with finite limits is exact if it preserves finite limits, and this specializes to the usual definition for abelian categories.2012-03-23
  • 1
    You probably want to clarify that by direct limit, you mean a _directed_ limit or filtered colimit. (In some circles, direct limit is just a synonym for colimit.)2012-03-23

1 Answers 1

2

Consider the opposite category of the category of Abelian groups. In that category, direct limits will not preserve exact sequences because in the category of Abelian groups inverse limits don't preserve exact sequences.

  • 0
    Thanks for the answer, but could you please provide a sketch of proof, or at least a bit more detailed explanation why doesn't inverse limit preserve exactness in $\bf{Ab}$? Also, a concrete example would be good. Thank you.2012-03-23
  • 0
    @AdrianM See [here](http://en.wikipedia.org/wiki/Inverse_limit#Derived_functors_of_the_inverse_limit). Most books on homological algebra discuss this issue.2012-03-23
  • 0
    Ok, got it, thanks. Any example from (somehow elementary) sheaf theory?2012-03-23