Category:Basic definitions in linear representation theory