The category of finitely generated modules over a ring #
K is a field,
FGModuleCatCat K is the category of finite dimensional vector spaces over
We first create the instance as a preadditive category.
R is commutative we then give the structure as an
R-linear monoidal category.
R is a field we give it the structure of a closed monoidal category
and then as a right-rigid monoidal category.
Future work #
- Show that
FGModuleCat Ris abelian when