Serre_quotient_category loading ...