در این پایان نامه s-سیستم ها را معرفی می کنیم.سپس انواعی از آنها را می بینیم و در می یابیم که رسته s-سیستم ها یک واریته است.سپس s-سیستم انژکتیو را تعریف می کنیم و ثابت می کنیم s-سیستم انژکتیو هم ارز با درون بری مطلق است.