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
In the mathematical field of category theory, FinVect (or FdVect) is the category whose objects are all finite-dimensional vector spaces and whose morphisms...
General set theory Lawvere theory Natural number object Simplex category FinVect Robert Goldblatt (1984). Topoi, the Categorial Analysis of Logic (Studies...
distributional hypothesis. The original paper used the categorical product of FinVect with a pregroup seen as a posetal category. This approach has some shortcomings:...
product. MatF is a concrete skeleton category for the equivalent category FinVectF of finite dimensional vector spaces over F, whose objects are such finite...
the category R-Mod of modules over a commutative ring, and the category Vect of vector spaces over a given field are enriched over themselves, where the...
establishes this case as well. Ab: abelian groups and group homomorphisms. K-Vect: vector spaces over a field K and K-linear transformations. Mod-R: right...
{\displaystyle [V]={\big [}k^{\dim(V)}{\big ]}\in K_{0}(\mathrm {Vect} _{\mathrm {fin} }).} Moreover, for an exact sequence 0 → k l → k m → k n → 0 {\displaystyle...
Global Information