added definition for serre subcategory, proved prop 1.1