ring R, the category of left modules over R is the category whose objects are all left modules over R and whose morphisms are all module homomorphisms...

one can consider a category C enriched over the monoidal category of modules over a commutative ring R, called an R-linear category. In other words, each...

then this is a module category in the old sense over the commutative ring OX(X). One can also consider modules over a semiring. Modules over rings are...

ring, then the category of finitely generated left modules over R is abelian. In particular, the category of finitely generated modules over a noetherian...

over R, is a R-algebra. the category of graded modules is a graded R-algebra. the category of chain complexes of R-modules is a differential graded algebra...

sheaf of O-modules or simply an O-module over a ringed space (X, O) is a sheaf F such that, for any open subset U of X, F(U) is an O(U)-module and the...

entire category of modules. Injective resolutions measure how far from injective a module is in terms of the injective dimension and represent modules in...

(the monoidal category of R-modules). By definition, a ring is a monoid object in the category of abelian groups; thus, the notion of an associative...

particular, any non-trivial category with a zero object, such as an abelian category, is not Cartesian closed. So the category of modules over a ring is not Cartesian...

representation theory, the stable module category is a category in which projectives are "factored out." Let R be a ring. For two modules M and N over R, define...

combines several modules into a new module. The most familiar examples of that construction occur in considering vector spaces, which are modules over a field...

regarded as Z-modules, so the category of abelian groups is also a symmetric, closed monoidal category. A symmetric compact closed category is a symmetric...

spaces, abelian groups, R-modules, or R-algebras into monoidal categories. Monoidal categories can be seen as a generalization of these and other examples...

A} , there is an equivalence of categories from A {\displaystyle A} -modules to quasi-coherent sheaves, taking a module M {\displaystyle M} to the associated...

{\mathcal {A}}} be an abelian category. (Examples include the category of modules over a ring and the category of sheaves of abelian groups on a topological...

class of projective modules enlarges the class of free modules (that is, modules with basis vectors) over a ring, keeping some of the main properties of free...

to the example of commutative rings above, one can show that all pullbacks exist in the category of groups and in the category of modules over some fixed...

R{\text{-Mod}}} be the category of modules over R {\displaystyle R} . (One can take this to mean either left R {\displaystyle R} -modules or right R {\displaystyle...

R-Mod the category of left R-modules and by Mod-R the category of right R-modules (if R is commutative, the two categories coincide). Fix a module B in R-Mod...

compact modules, also called pure-injective modules, are modules that have a certain "nice" property which allows the solution of infinite systems of equations...

this notion of product, Ab is a closed symmetric monoidal category. Ab is not a topos since e.g. it has a zero object. Category of modules Abelian sheaf...

Ab, the category of abelian groups, Rng the category of pseudo-rings, R-Mod, the category of modules over a ring, and K-Vect, the category of vector spaces...

algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if M and N are left modules over a ring...

These notions of semi-simplicity can be unified using the language of semi-simple modules, and generalized to semi-simple categories. If one considers...

abelian categories; it essentially states that these categories, while rather abstractly defined, are in fact concrete categories of modules. This allows...

rings K-Vect, the category of vector spaces over a field K R-Mod, the category of modules over a commutative ring R CmptH, the category of all compact Hausdorff...

role. The universality of this ring says that the category of representations of a Lie algebra is the same as the category of modules over its enveloping...

over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent...

In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked...

category C {\displaystyle {\mathcal {C}}} , and the category of modules over the ring is a category of functors defined on C {\displaystyle {\mathcal {C}}}...