In the mathematical field of category theory, FinVect (or FdVect) is the category whose objects are all finite-dimensional vector spaces and whose morphisms...
2 KB (195 words) - 18:16, 18 May 2023
General set theory Lawvere theory Natural number object Simplex category FinVect Robert Goldblatt (1984). Topoi, the Categorial Analysis of Logic (Studies...
2 KB (284 words) - 14:50, 3 March 2023
distributional hypothesis. The original paper used the categorical product of FinVect with a pregroup seen as a posetal category. This approach has some shortcomings:...
14 KB (1,503 words) - 04:54, 15 July 2024
product. MatF is a concrete skeleton category for the equivalent category FinVectF of finite dimensional vector spaces over F, whose objects are such finite...
40 KB (6,118 words) - 11:42, 30 July 2024
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...
4 KB (460 words) - 07:49, 2 February 2024
e c t k o p : ( − ) ∗ {\displaystyle (-)^{*}:\mathbf {Vect} _{k}\rightleftarrows \mathbf {Vect} _{k}^{op}:(-)^{*}} where both functors are given by sending...
30 KB (4,467 words) - 15:23, 8 August 2024
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...
14 KB (1,966 words) - 18:25, 14 August 2024
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...
17 KB (2,298 words) - 01:24, 4 July 2024
{\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...
24 KB (4,178 words) - 21:35, 19 July 2024