Statements (26)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:algebra
|
gptkbp:heldBy |
abelian category
additive category preadditive category zero object kernels cocomplete category Grothendieck category category of right modules over a ring R category used in homological algebra category used in representation theory cokernels complete category concrete category enough injectives enough projectives finite coproducts finite products locally presentable category locally small category monoidal category if R is commutative |
https://www.w3.org/2000/01/rdf-schema#label |
Mod R
|
gptkbp:morphisms |
R-linear maps
|
gptkbp:objects |
right R-modules
|
gptkbp:bfsParent |
gptkb:Hom_functor
|
gptkbp:bfsLayer |
6
|