Homomorphism of graded vector spaces
Let
is graded or grade-preserving iffπ for allπ ( π πΌ ) β€ π ( π πΌ ) . linalgπΌ β π
See Strict category of graded vector spaces.- If
is a monoid, then( π , + ) is homogenous of degreeπ iffπ½ β π and we writeπ ( π πΌ ) β€ π ( π πΌ + π½ ) . linalgd e g β‘ π = π½
See Closed category of graded vector spaces
See Degree operator properties.