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