Category:Terminology related to linear representation theory