در سال ‎1962‎، جبرئیل ‎ltrfootnote{gabriel}‎ در مرجع ‎cite{0}‎ ثابت کرد که یک ایزومورفیسم شبکه ی بین مجموعه? همه? زیرکاتگوری های ‎ extbf{‎‎ سر} از کاتگوری‎$r~$-مدول ‎های متناهی مولد و مجموعه? همه? زیرمجموعه هایی از ‎${ m spec}(r)$‎که تحت ویژگی سازی بسته هستند وجود دارد‎.‎ در این پایاننامه هدف ما بدست آوردن معیاری برای ‎ extbf{سر}‎ کاتگوری بودن ‎$(mathcal{s}_{1},mathcal{s}_{2})~$‎ است، که در آن...