Definition 22.25.2. Let R be a ring. A functor of graded categories over R, or a graded functor is a functor F : \mathcal{A} \to \mathcal{B} where for all objects x, y of \mathcal{A} the map F : \mathop{\mathrm{Hom}}\nolimits _\mathcal {A}(x, y) \to \mathop{\mathrm{Hom}}\nolimits _\mathcal {A}(F(x), F(y)) is a homomorphism of graded R-modules.
Comments (0)