Exact sequences #
In a category with zero morphisms, images, and equalizers we say that
f : A ⟶ B and
g : B ⟶ C
are exact if
f ≫ g = 0 and the natural map
image f ⟶ kernel g is an epimorphism.
In any preadditive category this is equivalent to the homology at
However in general it is weaker than other reasonable definitions of exactness, particularly that
- the inclusion map
image.ι fis a kernel of
image f ⟶ kernel gis an isomorphism or
imageSubobject f = kernelSubobject f. However when the category is abelian, these all become equivalent; these results are found in
Main results #
- Suppose that cokernels exist and that
gare exact. If
sis any kernel fork over
tis any cokernel cofork over
Fork.ι s ≫ Cofork.π t = 0.
- Precomposing the first morphism with an epimorphism retains exactness. Postcomposing the second morphism with a monomorphism retains exactness.
gare exact and
iis an isomorphism, then
f ≫ i.homand
i.inv ≫ gare also exact.
Future work #
- Short exact sequences, split exact sequences, the splitting lemma (maybe only for abelian categories?)
- Two adjacent maps in a chain complex are exact iff the homology vanishes
In any preadditive category,
f g are exact iff they compose to zero and the homology vanishes.
A reformulation of
Preadditive.exact_of_iso_of_exact that does not involve the arrow
The dual of this lemma is only true when
V is abelian, see
A functor reflects exact sequences if any composable pair of morphisms that is mapped to an exact pair is itself exact.