methods for working in the category of simplicial modules