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...

has the subcategory of all cardinal numbers as a skeleton. The category K-Vect of all vector spaces over a fixed field K {\displaystyle K} has the subcategory...

e c t k o p : ( − ) ∗ {\displaystyle (-)^{*}:\mathbf {Vect} _{k}\rightleftarrows \mathbf {Vect} _{k}^{op}:(-)^{*}} where both functors are given by sending...

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...