In [[category theory]], the '''cohomology''' of an [[exact sequence]] studies the relationship between the [[cokernel]]s and [[coimage]]s, when it is possible to take their [[quotient]]. Cohomology is the category-theoretic [[dual]] of [[homology]]. | In [[category theory]], the '''cohomology''' of an [[exact sequence]] studies the relationship between the [[cokernel]]s and [[coimage]]s, when it is possible to take their [[quotient]]. Cohomology is the category-theoretic [[dual]] of [[homology]]. |