The category of finite dimensional vector spaces and linear maps.
In the mathematical field of category theory, FinVect (or FdVect) is the category whose objects are all finite-dimensional vector spaces and whose morphisms are all linear maps between them.[1]
- ^ Hasegawa, Masahito; Hofmann, Martin; Plotkin, Gordon (2008), "Finite dimensional vector spaces are complete for traced symmetric monoidal categories", Pillars of computer science, Springer, pp. 367–385