# Commit 2022-11-18 10:49 19a70dce

View on Github →feat(algebra/category/FinVect): generalize to fgModule (#13962)
Generalize the category `FinVect`

of finite dimensional vector spaces to `fgModule`

, the category of finitely generated modules.

feat(algebra/category/FinVect): generalize to fgModule (#13962)
Generalize the category `FinVect`

of finite dimensional vector spaces to `fgModule`

, the category of finitely generated modules.