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.
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
