This article investigated the exactness in an arbitrary Abelian category and find some general propositions. This article also covers the naturality of some constructed morphisms, we will show that their naturality are already proven by their construction. Through this article, a beginner of the homology theorem would have a clear look to the exactness issues. Some more general and convenient tools are setup to deal these problems. |