کاتگور های آبلی تعمیمی از کاتگوری گروههای آبلی و کاتگوری r -مدول هاست. در حقیقت این کاتگوری ها تمامی مفاهیم جبر همولوژی را تعمیم داده است. خیلی از قضایای جبر همولوژی در نظریه ی گروهها، حلقه ها و جبرها نیز صادق است. کاتگوری های نیمه آ بلی تعمیمی از کاتگوری های آبلی می باشد. کاتگوری های نیمه آ بلی به صورت کاتگوری های دقیق در [5] و پروتوماژولار در [6] معرفی شده اند که دارای هم ضرب متناهی و شئ صفر هستند. هدف از این پایان نامه این است که بررسی کنیم: چطور این شرایط با وارد کردن یکریختی ها و بروریختی های نرمال با اصول دقیق بودن قبلی در ارتباط است که در دهه های پنجاه و شصت میلادی مستعمل بوده اند. چرا کاتگوری های نیمه آبلی یک مفهوم مناسب برای اثبات قضایای یکریختی و تجزیه از نظریه ی گروهها، نظریه ی رادیکال عمومی از حلقه ها و نحوه ی چگونه رسیدن به شرح اساسی و پایه ای مورد لزوم در جبر همولوژیکال ازگروهها و ساختار های غیرآبلی مشابه را فراهم می کند