Abelian categories in which linear algebra is possible

Abstract

We determine a class of abelian categories, properly containing the class of all categories vect-k of finite dimensional right vector spaces over a division ring k, in which all the elementary results of linear algebra over division rings can be proved. The ideas we present follow the program of von Neumann's Continuous Geometry, essentially introducing category theory and the Dieudonne determinant.