مطابق معمول حلقه توابع پیوسته حقیقی مقدار روی فضای تیخونف x‎را با (c(xنمایش می دهیم. مطمئناً اگرxوy‎فضاهای فشرده حقیقی‏‏، و (‎ c(x و (c(y یکریخت باشند‏ آنگاه‏، xو yهمئومورف هستند یعنی‏، c(x)‎‎‏‏،‎ x ‎را مشخص می کند. دلیل توجه به فضاهای فشرده حقیقی‏‏ این است که‏، اگرx‎ فشرده حقیقی نباشد (c(x وc(?x)‎ یکریخت اند‏‏، در حالی که xو ?x ،که ?x فشرده شده حقیقی(هویت) از xاست، همئومورف نیستند. در این پایان نامه‏، گردایه ی فضاهای موضعاً فشرده ای که به طور محض شامل فضاهای موضعاً فشرده ی فشرده حقیقی هستند ارا‏ئه می شود به طوری که c(x) ‎‎‏‏،‎ x ‎را مشخص می کند. نتایج مشابه برای سایر توسیع های فضای فشرده حقیقی از این مطالب منتج می شود.

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

در توپولوژی جبری کلاسیک ، فانکتور همولوژی زنجیری از کاتگوری ‏‎-r‎‏ مدول های زنجیری به کاتگوری ‏‎-r‎‏مدولهای مدرج تعریف شده است . با ترکیب این فانکتور با فانکتور زنجیر ، که از کاتگوری ‏‎-r‎‏ مدولهای سادکی به کاتگوری ‏‎-r‎‏ مدولهای زنجیری می باشد ، فانکتور همولوژی سادکی بدست می آید. در این تعاریف کاتگوری‏‎-r‎‏ مدولها نقش اساسی را بازی می کند.