2
$\begingroup$

Is there any relation between limits and exact sequences?

In particular, a conservative functor reflects limits. How does that imply that it reflects exact sequences?

Edited: Having clarified the relation between conservative functors and preservation/reflection of limits, i am now looking for a description of exact sequences in terms of limits and colimits.

  • 3
    Exactness for functors between arbitrary categories is defined in terms of limits and colimits: if $A$ is a category with finite limits (resp. colimits), a functor $F:A\rightarrow B$ is left (resp. right) exact if it preserves finite limits (resp. colimits). When $A$ and $B$ are abelian, left or right exactness in this sense implies left or right exactness in the sense of preserving short exact sequences (including additivity), and conversely, if $F$ is additive, then the definitions of left and right exactness in terms of short exact sequences are equivalent to preservation of finite limits2012-11-07
  • 0
    (resp. colimits).2012-11-07
  • 1
    It is not true that a conservative functor reflects limits. Rather, a conservative functor that preserves limits will also reflect limits. The same is true for colimits. Thus a conservative functor that preserves exact sequences will also reflect exact sequences, because being an exact sequence is a property that can be expressed in terms of limits and colimits.2012-11-08
  • 0
    @KeenanKidwell: Is there an accessible reference treating this topic of exact sequences described as limits and of conservative functors? I have not been able to find one. Thanks.2012-11-08
  • 0
    I'm not familiar with the term conservative functor, but the general definition of exactness and the equivalence with the usual notion for abelian categories can be found in the Stacks Project. The relevant chapters are Categories and Homological Algebra.2012-11-08
  • 0
    @ZhenLin: Do you know any good reference (readable) treating conservative functors?2012-11-08
  • 0
    @KeenanKidwell: Thanks.2012-11-08
  • 0
    @ZhenLin: Could you please give the description of an exact sequence in terms of limits and colimits? I have edited my question.2012-11-09
  • 0
    The image of a map is the kernel of its cokernel; cokernels are colimits, kernels are limits.2012-11-09
  • 0
    @ZhenLin: Got it. If you make it into an answer, i will happily vote and accept it.2012-11-09

0 Answers 0