Text this: Factor categories with applications to direct decomposition of modules /