Algebra modules

sage.categories.algebra_modules.AlgebraModules

The category of modules over a fixed algebra \(A\).

EXAMPLES:

sage: AlgebraModules(QQ['a'])
Category of algebra modules over Univariate Polynomial Ring in a over Rational Field
sage: AlgebraModules(QQ['a']).super_categories()
[Category of modules over Univariate Polynomial Ring in a over Rational Field]

Note: as of now, \(A\) is required to be commutative, ensuring that the categories of left and right modules are isomorphic. Feedback and use cases for potential generalizations to the non commutative case are welcome.