نظریه رستهها (به انگلیسی: Category Theory) ساختارهای ریاضیاتی و مفاهیم مربوطه را با گراف جهتداری به نام رسته به صورت صوری درمیآورد که گرههای (رأسهای
قضیه رسته بئر (به انگلیسی: Baire Category Theorem)، نتیجه مهمی در توپولوژی عمومی و آنالیز تابعی است. این قضیه دو شکل دارد که هر کدام از آنها شرایط کافی
بعد تزریقی آن سنجیده و مدول ها را در رسته مشتق شده (به انگلیسی: Derived Category) نمایش می دهد. پوسته تزریقی (به انگلیسی: Injective Hulls) توسیع های اساسی