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