category_theory.graded_object source