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. == Properties == FinVect has two monoidal products: the direct sum of vector spaces, which is both a categorical product and a coproduct, the tensor product, which makes FinVect a compact closed category.
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. == Properties == FinVect has two monoidal products: the direct sum of vector spaces, which is both a categorical product and a coproduct, the tensor product, which makes FinVect a compact closed category.
Source: Wikipedia "FinVect" · CC BY-SA 4.0
Share this article: X · Bluesky