In an abelian category, cohomology can be defined as kernel of a cokernel and cokernel of a kernel, as follows,
My problem is why are they the same? I expect this will be some image=coimage type thingy, but can't see it.
Asked
Active
Viewed 136 times
0
-
Is this post helpful (and the linked one)? – Dietrich Burde Aug 23 '22 at 18:16
-
@DietrichBurde Hmm thank you very much, was helpful! – Viśvāmitra Aug 24 '22 at 03:06